From 63f31eaea9dd0baf3c59ad6ae86d6299e174245b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?=
 <765740+giordano@users.noreply.github.com>
Date: Sun, 5 Jan 2025 01:31:52 +0100
Subject: [PATCH] Commit as the user who triggered the workflow (#112)

Same commit author as the
[`peter-evans/create-pull-request`](https://github.com/peter-evans/create-pull-request/blob/67ccf781d68cd99b580ae25a5c18a1cc84ffff1f/README.md#action-inputs)
workflow.

I also don't understand why the PR author isn't the github actions boy
instead of a different user, but that's perhaps for a different PR.
---
 .github/workflows/BumpStdlibs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/BumpStdlibs.yml b/.github/workflows/BumpStdlibs.yml
index c6de559..07cff90 100644
--- a/.github/workflows/BumpStdlibs.yml
+++ b/.github/workflows/BumpStdlibs.yml
@@ -31,8 +31,8 @@ jobs:
       - uses: julia-actions/setup-julia@v2
       - uses: julia-actions/cache@v2
       - run: echo "BUMPSTDLIBS_STDLIBS_TO_INCLUDE is ${{ github.event.inputs.BUMPSTDLIBS_STDLIBS_TO_INCLUDE }}"
-      - run: git config --global user.name "Dilum Aluthge"
-      - run: git config --global user.email "dilum@aluthge.com"
+      - run: git config --global user.name "${{ github.actor }}"
+      - run: git config --global user.email "${{ github.actor_id }}+${{ github.actor }}@users.noreply.github.com>"
       - run: julia --color=yes --project -e 'using Pkg; Pkg.instantiate(); Pkg.precompile()'
       - run: julia --color=yes --project -e 'using BumpStdlibs; bump_stdlibs("JuliaLang/julia")'
         env: