From b1a128b692f1b2dba9859b6cbc4cc2d6c33be988 Mon Sep 17 00:00:00 2001 From: Mike Bloy Date: Wed, 12 Jun 2024 23:18:49 -0500 Subject: [PATCH] add release script --- release.sh | 80 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100755 release.sh 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 <