Update git config in workflow for commits

Replaces hardcoded user.name and user.email in the GitHub Actions workflow with dynamic values based on GITHUB_ACTOR. This ensures commits are attributed to the correct GitHub user running the workflow.

Author: markmikkelsen

.github/workflows/update_export_fig.yml

@@ -24,8 +24,8 @@ jobs:
 
       - name: Commit and push changes
         run: |
-          git config markmikkelsen "GitHub Actions"
-          git config [email protected] "actions@github.com"
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
           git add .
           git diff-index --quiet HEAD || git commit -m "Sync from export_fig repo"
           git push