[ci] Set dummy git user details for merge

snowballstem · Oct 30, 2023 · fcc1b03 · fcc1b03
1 parent 3eca46f
commit fcc1b03
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -156,6 +156,8 @@ jobs:
         git clone https://github.com/snowballstem/snowball-data.git
         cd snowball-data
         git remote add pr "$GH_REPO_URL"
+        git config --global user.email "[email protected]"
+        git config --global user.name "CI"
         git fetch pr && git branch --track "$GH_BRANCH" pr/"$GH_BRANCH" && git merge "$GH_BRANCH"
         git branch -a
     - name: Install CCache