6a7d904fae
This way we can push the tag *after* all the builds succeed. If something goes wrong, we can always delete our local tag and try again.
47 lines
1.4 KiB
Bash
Executable File
47 lines
1.4 KiB
Bash
Executable File
#!/bin/bash
|
|
set -eEu
|
|
set -o pipefail
|
|
|
|
################################################################################
|
|
# Tag and push a new release of the git repo.
|
|
# There are no arguments for this script.
|
|
################################################################################
|
|
|
|
# Variables:
|
|
#
|
|
# v: the old tag version, such as 0.0.13
|
|
# t: the new tag version, such as 0.0.14
|
|
# h: the head version, such as 0.0.13-40-g62ca126-dirty
|
|
v=`git describe --match '[0-9]*\.[0-9]*\.[0-9]*' --tags --abbrev=0`
|
|
t=`echo "${v%.*}.$((${v##*.}+1))"` # increment version
|
|
h="$(git describe --tags --dirty --always)"
|
|
|
|
if [[ $# -gt 0 ]]; then
|
|
echo "ERR: $0 does not take arguments." >&2
|
|
exit 1
|
|
fi
|
|
|
|
# Never tag a dirty git tree.
|
|
if [[ "${h}" =~ dirty ]]; then
|
|
echo "ERR: git tree is dirty. Commit or stash changes before tagging." >&2
|
|
exit 1
|
|
fi
|
|
|
|
# Be idempotent.
|
|
if [[ "${h}" == "${v}" ]]; then
|
|
echo "INFO: HEAD \"${h}\" is equivalent to the current (old) version tag \"${v}\"; nothing to do."
|
|
exit 0
|
|
fi
|
|
|
|
# Give the user some information.
|
|
echo "WARN: About to tag \"${h}\" as \"${t}\" locally."
|
|
|
|
# Tag and sign.
|
|
echo "release: tag $t" | git tag --file=- --sign $t
|
|
echo "INFO: Version $t is now tagged."
|
|
|
|
# Be informative.
|
|
GIT_PAGER=cat git diff --stat "$v" "$t"
|
|
if command -v contrib.sh &>/dev/null; then contrib.sh "$v"; fi
|
|
echo -e "run 'git log $v..$t' to see what has changed since $v"
|