diff --git a/misc/git-tag-maybe.sh b/misc/git-tag-maybe.sh index 0a94150df4..2c0630dfb4 100755 --- 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