From 13610e4c7b2b60b25f6c21f64d85a92f2f9a6c37 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 5 Jun 2023 23:21:14 +0200
Subject: [PATCH] CI: Fix refspec for git push

---
 .github/workflows/build.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0f8ed5a7ca..37dd2aad02 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -363,7 +363,7 @@ jobs:
 
   mdbookold:
     name: build docs and mdbook for older releases
-    needs: mergetostablebranch
+    needs: pushtostablebranch
     runs-on: ubuntu-22.04
     steps:
       - name: Checkout
@@ -468,8 +468,8 @@ jobs:
   # Thus, no need to push changes 
   #
   # This needs to run before book is built, as bookbuilding fetches from the branch
-  mergetostablebranch:
-    name: Merge branch into release/vX when pushing to master
+  pushtostablebranch:
+    name: Also push branch into release/vX when pushing to master
     runs-on: ubuntu-22.04
     needs:
       - ci-success
@@ -486,7 +486,7 @@ jobs:
 
       - name: Push to stable release branch if master contains stable version
         if: ${{ env.versionmajor == env.STABLE_VERSION }}
-        run: git push -u origin ${{ env.branch }}
+        run: git push -u origin master:${{ env.branch }}
 
       - name: Else case, master did not contain the stable version version
         if: ${{ env.versionmajor != env.STABLE_VERSION }}
@@ -500,7 +500,7 @@ jobs:
     name: deploy
     runs-on: ubuntu-22.04
     needs:
-      - mergetostablebranch
+      - pushtostablebranch
       - docs      
       - mdbookold      
       - mdbook