diff --git a/.githooks/pre-push b/.githooks/pre-push index 9a3c86e0..87a4086a 100755 --- a/.githooks/pre-push +++ b/.githooks/pre-push @@ -3,10 +3,10 @@ # Script to be run as part of the github pre-push hook. # create a of the git tags being pushed -TAGS_PREFIXED_WITH_V=$(git tag -l | grep -E ^4) +TAGS_PREFIXED_WITH_V=$(git tag -l | grep -E ^v) if [ -n "$TAGS_PREFIXED_WITH_V" ]; then echo "A tag incorrectly starts with 'v'." echo $TAGS_PREFIXED_WITH_V; exit 1 -fi +fi \ No newline at end of file