ci: add GitHub access token retrieval and update deployment configura…

…tion in CircleCI

.circleci/config.yml

@@ -84,13 +84,19 @@ jobs:
             if [ "$CIRCLE_PROJECT_REPONAME" == "op-geth" ] && [ "$CIRCLE_PROJECT_USERNAME" == "ethereum-optimism" ]; then
               echo "op-geth.optimism.io" > /tmp/pages/CNAME
             fi
-
+      - utils/get-github-access-token:
+          private-key-str: GITHUB_APP_KEY
+          app-id: GITHUB_APP_ID
+          repo: $CIRCLE_PROJECT_USERNAME/$CIRCLE_PROJECT_REPONAME
       # Deploy to GitHub Pages
       - run:
           name: Deploy to GitHub Pages
           command: |
             pages_branch="gh-pages-test"
 
+            git config --global user.email "circleci-"
+            git config --global user.name "CircleCI Bot"
+
             # Create new orphan branch without parent history
             git checkout --orphan ${pages_branch}
             git reset --hard  # Remove all files from staging
@@ -105,7 +111,7 @@ jobs:
             git add .
             git commit -m "Deploy to GitHub Pages [skip ci]"
 
-            git push origin ${pages_branch} --force
+            # git push origin ${pages_branch} --force
 
   docker-release:
     environment:
@@ -290,11 +296,13 @@ workflows:
   merge:
     jobs:
       - build-and-deploy:
+          context: circleci-repo-op-geth
           filters:
             branches:
               only: migrate-to-circleci
 
       # - build-and-deploy:
+      #   context: circleci-repo-op-geth
       #     filters:
       #       branches:
       #         only: optimism