51 lines
1.4 KiB
Bash
Executable File
51 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 a chance to abort.
|
|
echo "WARN: About to tag \"${h}\" as \"${t}\" and push."
|
|
echo "Press ^C within 3s to abort."
|
|
sleep 3s
|
|
|
|
# Tag and push.
|
|
echo "release: tag $t" | git tag --file=- --sign $t
|
|
echo "INFO: Version $t is now tagged."
|
|
echo "INFO: Pushing $t to origin."
|
|
git push origin $t
|
|
|
|
# Be informative.
|
|
GIT_PAGER=cat git diff --stat "$v" "$t"
|
|
if which contrib.sh &>/dev/null; then contrib.sh "$v"; fi
|
|
echo -e "run 'git log $v..$t' to see what has changed since $v"
|