From 64641fed4661bd5ea493044b35e523b82d7a71cf Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 17 Feb 2024 17:43:03 +0100
Subject: [PATCH] ci: Change names for release branches from rel-MAJOR.MINOR to
 vMAJOR

This naming scheme gives us the best support for readthedocs.

References #2814
---
 .github/workflows/ci.yaml   | 4 ++--
 .github/workflows/docs.yaml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index d2caf95eb8..db05fc122b 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,13 +4,13 @@ on:
   push:
     branches:
       - main
-      - rel-*
+      - v[0-9]+
     tags:
       - v*
   pull_request:
     branches:
       - main
-      - rel-*
+      - v[0-9]+
 
 jobs:
   Lint-Style:
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index f9bf2fd3a5..3319799f99 100644
--- a/.github/workflows/docs.yaml
+++ b/.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: