From 1c34c0d55b3949a81ea2d6e582d0b4de43a915ce Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 22 Sep 2022 16:52:01 +0200
Subject: [PATCH] ci: do configure a user in case Git needs it

The `mingw-w64-cv2pdb` build, for example, wants to be able to call `git
tag`, which requires a user to be configured. Let's do that, then.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 .github/workflows/main.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ec09d7cc9e..246faad408 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -56,11 +56,22 @@ jobs:
       fail-fast: false
       matrix:
         directory: ${{ fromJSON(needs.determine-packages.outputs.matrix) }}
+    env:
+      HOME: "${{github.workspace}}\\home"
     steps:
       - uses: actions/checkout@v3
       - uses: git-for-windows/setup-git-for-windows-sdk@v1
         with:
           flavor: full
+      - name: configure build
+        shell: bash
+        run: |
+          USER_NAME="$GITHUB_ACTOR" &&
+          USER_EMAIL="$GITHUB_ACTOR@users.noreply.github.com" &&
+          mkdir -p "$HOME" &&
+          git config --global user.name "$USER_NAME" &&
+          git config --global user.email "$USER_EMAIL" &&
+          echo "PACKAGER=$USER_NAME <$USER_EMAIL>" >>$GITHUB_ENV &&
       - name: build ${{ matrix.directory }}
         shell: bash
         run: |