diff options
author | Adin Scannell <ascannell@google.com> | 2019-11-18 11:21:18 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-11-18 11:22:38 -0800 |
commit | 96019436854b0c59ae380a4920381586d05d9c31 (patch) | |
tree | 69f3e4358f31474030708ccdfcef03389202a6f7 /tools | |
parent | 5107e6b6bd75a77f05e68503ff958c7a9354ea73 (diff) |
release: fix tag script
The tag script, when not run interactively, will fail without a provided commit
message (since it now uses annotated tags). For now, use a trivial message. In
the future, this could be extended to provide automated release notes.
PiperOrigin-RevId: 281112651
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/tag_release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/tag_release.sh b/tools/tag_release.sh index 9d5a60583..f33b902d6 100755 --- a/tools/tag_release.sh +++ b/tools/tag_release.sh @@ -64,5 +64,6 @@ fi # Tag the given commit (annotated, to record the committer). declare -r tag="release-${release}" -(git tag -a "${tag}" "${commit}" && git push origin tag "${tag}") || \ +(git tag -m "Release ${release}" -a "${tag}" "${commit}" && \ + git push origin tag "${tag}") || \ (git tag -d "${tag}" && false) |