trying to push via ssh

zml · Sep 10, 2024 · f573c99 · f573c99
1 parent 0872630
commit f573c99
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/deploy-gh-pages.yml b/.github/workflows/deploy-gh-pages.yml
@@ -42,7 +42,6 @@ jobs:
       - name: Run build scripts
         run: |
           ./01-PREPARE-FOR-EDITS.sh
-          echo "going to sleep for 999999 units of time"
           eval "$(ssh-agent -s)"
           ssh-keyscan -t ed25519 github.com > ~/.ssh/known_hosts
           ssh-add - <<< "${{ secrets.DEPLOY_KEY }}"
@@ -66,10 +65,13 @@ jobs:
       - name: Commit and push changes
         run: |
           cd gh-pages
-          git config --global user.name 'github-actions'
-          git config --global user.email '[email protected]'
+          # git config --global user.name 'github-actions'
+          # git config --global user.email '[email protected]'
           git add .
+          eval "$(ssh-agent -s)"
+          ssh-keyscan -t ed25519 github.com > ~/.ssh/known_hosts
+          ssh-add - <<< "${{ secrets.DEPLOY_KEY }}"
           git commit -m "Update GitHub Pages"
-          # git push origin docs
+          git push origin docs
           # try the x-access url
-          git push https://x-access-token:${{ secrets.ORG_PAT }}@github.com/zml/zml.git docs
+          # git push https://x-access-token:${{ secrets.ORG_PAT }}@github.com/zml/zml.git docs