diff --git a/retag.sh b/retag.sh index b11ee63..8871c1c 100755 --- a/retag.sh +++ b/retag.sh @@ -1,5 +1,5 @@ #!/bin/sh -e -TAGS="11 10 9.6 9.5 9.4" +TAGS="12 11 10 9.6 9.5 9.4" git push --tags -f git reset --hard