Push a commit using the built-in token

.github/workflows/deploy.yml

@@ -9,6 +9,9 @@ jobs:
   build:
     runs-on: ubuntu-latest
 
+    permissions:
+      contents: write
+
     steps:
     - uses: actions/checkout@v4
 
@@ -34,12 +37,8 @@ jobs:
       if: github.ref == 'refs/heads/source'
       run: |
         cd build
+        git config user.name "github-actions[bot]"
+        git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
         git add -A
         git commit -m 'Reflect changed sources'
-        git push -f origin master
-      env:
-        GIT_COMMITTER_NAME: willnet
-        GIT_COMMITTER_EMAIL: [email protected]
-        GIT_AUTHOR_NAME: willnet
-        GIT_AUTHOR_EMAIL: [email protected]
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        git push --set-upstream origin master