new command git-autotag

like 'git tag', except specify (with '-u') the default gpg keyring's
default uid (instead of using the uid from the git user).

1 files changed, 5 insertions, 0 deletions

diff --git a/dot/local/bin/git-autotag b/dot/local/bin/git-autotag
new file mode 100755
index 0000000..edf9474
--- /dev/null
+++ b/dot/local/bin/git-autotag
@@ -0,0 +1,5 @@
+#!/bin/sh
+uid=$(gpg -K --with-colons | grep '^uid:' | cut -d: -f10) || exit
+[ "$uid" ] || exit
+
+exec git tag -u "$uid" "$@"