diff options
| author | Sean McAllister <smcallis@google.com> | 2020-05-18 09:15:51 -0600 |
|---|---|---|
| committer | Sean McAllister <smcallis@google.com> | 2020-05-19 15:25:42 +0000 |
| commit | 682f0b6426a06ed1e89b130d50c6521b1c67d529 (patch) | |
| tree | 6d1bcc4dc2c754ce5fccb633d0145c5d11335dac /repo | |
| parent | e7082ccb54ad870b185e99d7e39d1959c65ff899 (diff) | |
| download | git-repo-682f0b6426a06ed1e89b130d50c6521b1c67d529.tar.gz | |
Fix how we format the full destination branch when uploading.
If the dest-branch attribute is set in the project manifest, then
we need to push to that branch. Previously, we would unconditionally
pre-pend the refs/heads prefix to it. The dest-branch attribute is
allowed to be a ref expression though, so it may already have it.
Simple fix is to check if it already has the prefix before adding it.
Bug: crbug.com/gerrit/12770
Change-Id: I45d6107ed6cf305cf223023b0ddad4278f7f4146
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/268152
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Sean McAllister <smcallis@google.com>
Diffstat (limited to 'repo')
0 files changed, 0 insertions, 0 deletions