diff options
| author |  dmarting <dmarting@google.com> | 2017-07-26 16:08:24 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-07-26 16:22:29 +0200 |
| commit | 12783c3e1f91211afb5208d613d753d45b2dca56 (patch) | |
| tree | 08dcb3ca9a90a1ce15e392d752c4586c2afe1598 /scripts/release | |
| parent | b6e29ca217b02c3ba499b85479a3830f59c9b9b6 (diff) | |
Force fetch when fetching remote release notes
If the release note locally are totally different, they will failed to fetch and we want to consider the remote as the source of truth rather than the local.
Fixes #3447.
PiperOrigin-RevId: 163202815
Diffstat (limited to 'scripts/release')
| -rwxr-xr-x | scripts/release/release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/release/release.sh b/scripts/release/release.sh index 13c874c36b..6a2559adc7 100755 --- a/scripts/release/release.sh +++ b/scripts/release/release.sh @@ -47,8 +47,8 @@ RELEASE_NOTE_MESSAGE='# Editing release notes # Fetch everything from remote repositories to avoid conflicts function fetch() { for i in ${RELEASE_REPOSITORIES}; do - git fetch $i &>/dev/null || true - git fetch $i refs/notes/*:refs/notes/* &>/dev/null || true + git fetch -f $i &>/dev/null || true + git fetch -f $i refs/notes/*:refs/notes/* &>/dev/null || true done } |