Fixed possible error with workflow

Author: ElBi21

.github/workflows/main.yml

@@ -8,9 +8,13 @@ jobs:
     name: Build Documentation
     runs-on: ubuntu-latest
     if: github.event.head_commit.author.email != 'github-actions[bot]@users.noreply.github.com'
+    permissions:
+      contents: write
     steps:
       - name: Checkout the repo
         uses: actions/checkout@v4
+        with:
+          persist-credentials: false
 
       - name: Install Tectonic
         run: |
@@ -21,12 +25,15 @@ jobs:
         run: |
           ./tectonic "NoTeX Documentation.tex" -Z continue-on-errors --color=always
 
-      - name: Commit and push PDF
+      - name: Commit PDF
         run: |
           git config --global user.name 'github-actions[bot]'
           git config --global user.email 'github-actions[bot]@users.noreply.github.com'
           git add "NoTeX Documentation.pdf"
           git commit -m 'Add compiled documentation'
-          git push
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Push PDF
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: "main"