CI: fix deploy to gh-pages branch

rgommers · rgommers · commit 792f11e86405 · 2022-07-29T12:16:22.000+02:00
The `GITHUB_SECRETS` usage was causing a permissions issue,
and it seems no longer necessary.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -124,5 +124,5 @@ jobs:
       - name: 'Push changes'
         if: success()
         run: |
-          git push "https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/${{ github.repository }}.git"
+          git push origin gh-pages
         timeout-minutes: 10
