get git user from push

aspirepress · Jan 9, 2025 · 8c6c2f7 · 8c6c2f7
1 parent 4b83110
commit 8c6c2f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/generate-pot-pr.yml b/.github/workflows/generate-pot-pr.yml
@@ -28,8 +28,8 @@ jobs:
 
       - name: Configure git user
         run: |
-          git config --global user.email "[email protected]"
-          git config --global user.name "Andy Fragen"
+          git config user.name ${{ github.actor }}
+          git config user.email ${{ github.actor }}@users.noreply.github.com
 
       - name: Check if remote branch exists
         run: echo "REMOTE_BRANCH_EXISTS=$([[ -z $(git ls-remote --heads origin generate-pot) ]] && echo "0" || echo "1")" >> $GITHUB_ENV