Re: http://android.git.linaro.org/git-ro is out of sync with the actual git tree

On Sat, 2013-05-18 at 01:51 +0200, Bernhard Rosenkränzer wrote:

Hi, Just in case this fixes itself by a sync process or something, this was seen on 2013/05/17 23:46 UTC and has been going on for at least a few hours (I've just spent quite some time trying to figure out why a fix I made didn't work in android-build -- turns out it never made it there because the http checkout is out of sync):

The few times that I've done a repo sync over the past month it always seems that there is at least one git which is out of sync, I just edit the manifest to replace the http URLs with the git varieties, that fixes things.