fix: push to head

Computerization · Dec 10, 2024 · 8e3ffcb · 8e3ffcb
1 parent a8db274
commit 8e3ffcb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/publ.yml b/.github/workflows/publ.yml
@@ -30,9 +30,11 @@ jobs:
             python3 make.py batch
 
       - name: Commit and Push Changes
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
           git add .
           git commit -m "chore: automated publish" || echo "no changes to commit"
-          git push
+          git push origin HEAD:main