Configure git before committing

trailofbits · Nov 30, 2023 · 314aba0 · 314aba0
1 parent e1ea6c5
commit 314aba0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -52,5 +52,7 @@ jobs:
       - name: Push to gh-pages branch
         run: |
           git add coverage
+          git config --global user.email "[email protected]"
+          git config --global user.name "coverage"
           git commit -m Coverage
           git push origin ${{ github.ref }}:gh-pages --force