Release scripts: added a script for signed tagging of releases

diff --git a/maint/tag-release b/maint/tag-release
new file mode 100755 (executable)
index 0000000..bc9ced5
--- /dev/null
+++ b/maint/tag-release
@@ -0,0 +1,6 @@
+#!/bin/sh
+if [ -z "$1" -o -n "$2" ] ; then
+       echo >&2 'Usage: tag-release vX.Y.Z'
+       exit 1
+fi
+git tag -u 431134F9 $1