Try to ensure we checkout origin/stable-docs refs #1

simonw · Aug 20, 2023 · f419bd8 · f419bd8
1 parent afd9d68
commit f419bd8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/stable-docs.yml b/.github/workflows/stable-docs.yml
@@ -41,8 +41,8 @@ jobs:
     - name: Handle Commit to Main
       if: contains(github.event.head_commit.message, '!stable-docs')
       run: |
-        git fetch origin stable-docs:stable-docs
-        git checkout stable-docs
+        git fetch origin
+        git checkout -b stable-docs origin/stable-docs
         # !stable-docs should only be in the one commit, so apply changes from that commit
         PATCH=$(git show ${{ github.sha }} -- docs/)
         # Check if patch is non-empty