Revert "GitHub Actions: disable tagging temporarily"

This reverts commit 441e4a7. We are ready to weekly tagging again.
universal-ctags · Dec 15, 2022 · 373863f · 373863f
1 parent c2ebf59
commit 373863f
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/misc/git-tag-maybe.sh b/misc/git-tag-maybe.sh
@@ -2,9 +2,6 @@
 
 set -e
 
-echo tagging is disabled temporary
-exit 0
-
 ##################################### util #######################################
 
 COLOR_RED='\033[0;31m'          # Red