Merge pull request #4 from daniel-larraz/use-gh-token

Use PAT correctly in GH workflow

.github/workflows/main.yml

@@ -20,19 +20,14 @@ jobs:
 
     - name: Deploy tutorial on the cvc5 website
       if: (github.repository == 'cvc5/tutorials') && (github.ref == 'refs/heads/main')
-      env:
-        SSH_AUTH_SOCK: /tmp/ssh_agent.sock
       run: |
-        ssh-agent -a $SSH_AUTH_SOCK > /dev/null
-        ssh-add - <<< "${{ secrets.CVC5_WEBSITE_TOKEN }}"
-
         git config --global user.email "[email protected]"
         git config --global user.name "cvc5-bot"
-        git clone git@github.com:cvc5/cvc5.github.io.git website/
+        git clone https://github.com/cvc5/cvc5.github.io.git website
 
         rm -r website/tutorials/beginners
         cp -r beginners/_build/html website/tutorials/beginners
         cd website/
         git add tutorials/beginners
         git commit -m "Deploy tutorials from source repo"
-        git push
+        git push https://$GITHUB_ACTOR:${{ secrets.CVC5_WEBSITE_TOKEN }}@github.com/cvc5/cvc5.github.io.git main