try to fix git push of reports

mxndtaylor · Jun 2, 2024 · 698cbed · 698cbed
1 parent 8e3c055
commit 698cbed
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -84,5 +84,7 @@ jobs:
           pdm badges-only
           git config --global user.name 'Auto'
           git config --global user.email '[email protected]'
+          git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
+          git checkout "${GITHUB_REF:11}"
           git commit -am "Update Badges"
           git push