From 83dfef507311843849abdc388ac4be4cc513c5ea Mon Sep 17 00:00:00 2001
From: Caelan Sayler <git@caesay.com>
Date: Sun, 30 Jun 2024 20:41:35 +0100
Subject: [PATCH] Use a separate gh token for master branch promotion so
 workflows run

---
 .github/workflows/promote.yml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/promote.yml b/.github/workflows/promote.yml
index 0c1d280d..bce01b5e 100644
--- a/.github/workflows/promote.yml
+++ b/.github/workflows/promote.yml
@@ -3,9 +3,6 @@ name: Promote Stable Release
 on:
   workflow_dispatch:
 
-permissions:
-  contents: write
-
 jobs:
   release:
     runs-on: ubuntu-latest
@@ -13,8 +10,13 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          persist-credentials: false
       - name: Fast-forward master branch
         run: |
           git checkout master
           git merge develop --ff-only
-          git push origin master
+      - name: Push
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.MASTER_TOKEN }}
+          branch: master