tree 9c3b1b2975daaacd98e396d25b93744bac3c4618
parent 4e46520362e4c75ae7809c74f3d1c21e86852ee8
author Scott Fan <fancp2007@gmail.com> 1358251706 +0800
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1359730338 +0000

Allow user to specify git path for mirror manifest.

In some case, especially local_manifest.xml for mirror, user may want to
specify a different gitdir path.

Change-Id: Ib0a639e9014811701fbc4eccc3b03330d9b9f4b2
Signed-off-by: Scott Fan <fancp2007@gmail.com>