mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-23 02:45:39 +08:00
6a1f737380
Several times one have done an upload only to later notice in gerrit that the upload was done to the wrong branch as the git has not yet been branched for the current git. This change will make repo print what the destination branch is when asking the user if she wants to go through with the upload. Change-Id: Ia9c3a92a6a04c022edfebf4f8d651ac062bb1f3b