mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-07-27 22:38:05 +00:00
297e7c6ee6
This allows a user to have a 'repo init' as: $ repo init -u ... --reference=~/mirror Change-Id: Ib85b7c8ffca9d732132c68fe9a8d7f0ab1fa9288