From 9b60e3148d8c19562c8c3805bd0cdc55933e912c Mon Sep 17 00:00:00 2001
From: Hennadii Stepanov <32963518+hebasto@users.noreply.github.com>
Date: Mon, 30 Jan 2023 16:29:46 +0000
Subject: [PATCH] ci: Do not set git's `user.{email,name}` config options

git's `user.{email,name}` config options have been no longer required
since 0ecf3188515e46b4da5580b4b9805d2cb927eb91.
---
 .cirrus.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index d7787d345234c..48b09df585df1 100644
--- 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