diff --git a/release.sh b/release.sh new file mode 100755 index 0000000..9534c0f --- /dev/null +++ b/release.sh @@ -0,0 +1,80 @@ +#!/bin/bash + +curdir=$(realpath $(dirname $0)) +version=$1 +echo $version +if [ -z "$version" ]; then + echo "must give a version specification." + exit 1 +fi + +echo Tagging git release... +git tag -a -m $version $version +git push origin ${version} +echo Tagged git release $(git describe) + +read -r -d '' release_body <