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

This naming scheme gives us the best support for readthedocs.

References #2814

Author: wolfgangwalther

.github/workflows/ci.yaml

@@ -4,13 +4,14 @@ on:
   push:
     branches:
       - main
-      - rel-*
+      - v[0-9]+
     tags:
       - v*
   pull_request:
     branches:
       - main
-      - rel-*
+      - v[0-9]+
+
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   # Terminate all previous runs of the same workflow for pull requests

.github/workflows/docs.yaml

@@ -4,11 +4,11 @@ on:
   push:
     branches:
     - main
-    - rel-*
+    - v[0-9]+
   pull_request:
     branches:
     - main
-    - rel-*
+    - v[0-9]+
 
 jobs:
   build:

nix/tools/release/default.nix

@@ -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