On Thu, Jun 2, 2011 at 9:24 AM, Paul Sokolovsky
<paul.sokolovsky@linaro.org> wrote:
This is even more interesting, with Google people confirming that repo
--mirror works within some bounds and limitations:
http://groups.google.com/group/repo-discuss/browse_thread/thread/401656c3ad0a4a0c
Finally, here's typical usage scenario for repo --mirror (which is
pretty underdocumented):
http://www.excentral.org/archives/2011/02/24/android-repo-mirroring
So, like "repo help init" says, mirror created with repo --mirror
should later be used with repo --reference, with both mirror and
checkout using it to be located on local filesystem. I couldn't find
referenced that repo --mirror is intended for use like we do - to serve
it using git-daemon.
My next step was trying to do real git mirror (git clone --mirror), and
already did it and prepared to move it into intended location, when I
did ls -l in the mirror directory:
drwxr-xr-x 7 git-mirror nogroup 4096 2011-06-02 00:11 kernel-tilt.git
drwxr-xr-x 7 git-mirror nogroup 4096 2011-06-01 12:30 kernel-tilt.git.git
Once I moved that ".git.git" repo away, original issue with repo sync
resolved. I have no idea that double-.git repo was created. Based on
the timestamp, it was created first, and later barely updated, with
mirror and just git clone using the proper repo, while repo sync on the
build slave managing to pick up wrong one. I wonder, if that (creation
of 2 repos) could be a result of some race condition.
And I wish this issue could be called resolved, but as quoted above,
there're (more) issues are known with git --mirror, so I decided to put
up this mail with the links, for the next time such issues may come.