diff options
author | Andrew Cady <d@jerkface.net> | 2020-05-28 16:14:23 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2020-05-28 16:14:30 -0400 |
commit | 5000b07658ac3dd7bc12b7f3ea634aa79b0474a6 (patch) | |
tree | d44af3e84ca9e129edcbb749e7684c82cbaccb51 /dot | |
parent | fe3fb182c43849280537fb9797f896518110b75b (diff) |
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).
Diffstat (limited to 'dot')
-rwxr-xr-x | dot/local/bin/git-autotag | 5 |
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 @@ | |||
1 | #!/bin/sh | ||
2 | uid=$(gpg -K --with-colons | grep '^uid:' | cut -d: -f10) || exit | ||
3 | [ "$uid" ] || exit | ||
4 | |||
5 | exec git tag -u "$uid" "$@" | ||