fix up release script

hgschmie · Jan 15, 2022 · a40e32a · a40e32a
1 parent 9bf438f
commit a40e32a
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/do_release.sh b/do_release.sh
@@ -1,5 +1,15 @@
 #! /bin/bash
 
+if [ $# -lt 1 ]; then
+    echo "Usage: $0 <release tag>" 1>&2
+    exit 1
+fi
+
+VERSION=$1 ; shift
+
+git tag ${VERSION}
+changie batch ${VERSION}
+
 RELEASE_NOTES=changes/$(changie latest).md
 
 changie merge