tree ba6fe5ee439091371977cd3db36b32b41c6b4e9d
parent 793f90cdc0cffc3ade6acdc544e315fbd54cbb0b
author Victor Boivie <victor.boivie@sonymobile.com> 1349433478 +0200
committer Chirayu Desai <cdesai@cyanogenmod.org> 1368361168 +0530

Use reference also for manifest git

When running 'repo init --reference=<mirror>', the mirror will be
used for all projects except the manifest project. This is because
the _InitGitDir function uses the 'repo.reference' git config
value specified in the manifest git, which has no effect when
creating the manifest git as that value will be set after the git
has been successfully cloned.

Information about where the manifest git is located on the server
is only known when performing the 'repo init', so that information
has to be provided when cloning the git in order for it to set up
a proper mapping.

Change-Id: I47a2c8b3267a4065965058718ce1def4ecb34d5a
Signed-off-by: Chirayu Desai <cdesai@cyanogenmod.org>