ci: update GitHub Pages deployment to use GitHub App token for push

ethereum-optimism · Dec 23, 2024 · 21ffb3e · 21ffb3e
1 parent 0439b23
commit 21ffb3e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -110,8 +110,7 @@ jobs:
             # Commit and push
             git add .
             git commit -m "Deploy to GitHub Pages [skip ci]"
-
-            # git push origin ${pages_branch} --force
+            git -c "http.extraheader=Authorization: Bearer ${GITHUB_APP_TOKEN}"  push origin ${pages_branch} --force
 
   docker-release:
     environment: