ci: Do not set git's user.{email,name} config options

git's `user.{email,name}` config options have been no longer required since 0ecf318.
sipa · Jan 30, 2023 · 9b60e31 · 9b60e31
1 parent e1817a6
commit 9b60e31
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.cirrus.yml b/.cirrus.yml
@@ -55,8 +55,6 @@ cat_logs_snippet: &CAT_LOGS
 
 merge_base_script_snippet: &MERGE_BASE
   merge_base_script:
-    - git config --global user.email "ci@ci.ci"
-    - git config --global user.name "ci"
     - if [ "$CIRRUS_PR" = "" ]; then exit 0; fi
     - git fetch --depth=1 $CIRRUS_REPO_CLONE_URL "pull/${CIRRUS_PR}/merge"
     - git checkout FETCH_HEAD  # Use merged changes to detect silent merge conflicts