Merge branch 'main' into patch-1

gopro · Apr 10, 2024 · 138e1a0 · 138e1a0
2 parents fe782a7 + 52c3689
commit 138e1a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
@@ -14,7 +14,7 @@ jobs:
         steps:
             - uses: actions/checkout@v3
               with:
-                  token: ${{ secrets.PUSH_FROM_WORKFLOW_TO_RETRIGGER }}
+                  token: ${{ secrets.PUSH_TO_PROTECTED_BRANCH }}
 
             - name: Check for (and add) missing copyrights
               shell: bash