diff options
| author |  philwo <philwo@google.com> | 2017-05-31 13:13:13 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-05-31 13:54:01 +0200 |
| commit | b0f5c4ccf16c615a1eabec7fbd6f4da1c1014772 (patch) | |
| tree | 60ada7d76abcfc932f79ea3ca46f2e10e1416917 /scripts/release/release.sh | |
| parent | 9bab6634766c5addc6e939e97981c7c78b0a567c (diff) | |
Fix typo: s/exists/exist/ where needed.
RELNOTES: None.
PiperOrigin-RevId: 157572063
Diffstat (limited to 'scripts/release/release.sh')
| -rwxr-xr-x | scripts/release/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/release/release.sh b/scripts/release/release.sh index 1a17fd03ac..e3fb691cbe 100755 --- a/scripts/release/release.sh +++ b/scripts/release/release.sh @@ -297,7 +297,7 @@ function cleanup_branches() { local tag_name=$1 local i echo "Destroying the release branches for release ${tag_name}" - # Destroy branch, ignoring if it doesn't exists. + # Destroy branch, ignoring if it doesn't exist. git branch -D release-${tag_name} &>/dev/null || true for i in $RELEASE_REPOSITORIES; do git push -f $i :release-${tag_name} &>/dev/null || true |