ci: Change names for release branches from rel-MAJOR.MINOR to vMAJOR

This naming scheme gives us the best support for readthedocs. References #2814
2024-02-17 17:46:11 +01:00
parent 06821fdbca
commit 02d8990ce2
3 changed files with 6 additions and 5 deletions
@@ -57,7 +57,7 @@ let
      }
      ''
        trap "echo You need to be on the main branch or a release branch to proceed. Exiting ..." ERR
-        [[ "$(git rev-parse --abbrev-ref HEAD)" =~ ^main$|^rel- ]]
+        [[ "$(git rev-parse --abbrev-ref HEAD)" =~ ^main$|^v[0-9]+$ ]]
        trap "" ERR

        trap "echo You have uncommitted changes in postgrest.cabal. Exiting ..." ERR