diff options
| author | M.Gergo | 2019-07-04 03:24:37 +0200 |
|---|---|---|
| committer | M.Gergo | 2019-07-04 03:24:37 +0200 |
| commit | b91cdd7ba1a9e9c8c605640cc3c910acd25bf767 (patch) | |
| tree | 8c87b0be5241626b62568b42efa1db91355720e0 /checkupdate.sh | |
| parent | 506d1bf6d1db839ef3caee4eb2a09b277c31f0c0 (diff) | |
| download | mayor-b91cdd7ba1a9e9c8c605640cc3c910acd25bf767.tar.gz mayor-b91cdd7ba1a9e9c8c605640cc3c910acd25bf767.zip | |
readme
Diffstat (limited to 'checkupdate.sh')
| -rwxr-xr-x | checkupdate.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/checkupdate.sh b/checkupdate.sh index d6ab116e..c12d0799 100755 --- a/checkupdate.sh +++ b/checkupdate.sh @@ -32,6 +32,8 @@ if [ "$nrev" -gt "$orev" ]; then git add --all git commit -a -m "Rev: $nrev" + git tag -a "rev$nrev" -m "Rev: $nrev" + fi |