Allow user to specify git path for mirror repositories.
In some case, especially the local_manifest.xml file exists for mirror repos,
user may want to specify a different gitdir according to the 'path' attr.
For new mirror repos, append the '--force-path' option to the 'repo init --mirror' command.
For existing mirror repos, exec command 'git config --file=.repo/manifests.git/config repo.forcepath true'
Change-Id: Ib0a639e9014811701fbc4eccc3b03330d9b9f4b2
Signed-off-by: Scott Fan <fancp2007@gmail.com>
3 files changed
