Delete unneeded settings

Co-authored-by: Tobias Ribizel <ribizel@kit.edu>
ginkgo-project · Jul 22, 2022 · 7ae922d · 7ae922d
1 parent df3493c
commit 7ae922d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/mirror.sh b/.github/mirror.sh
@@ -13,8 +13,6 @@ echo "${BOT_KEY}" | tr -d '\r' | ssh-add - >/dev/null
 mkdir -p ~/.ssh
 chmod 700 ~/.ssh
 ssh-keyscan -t rsa gitlab.com github.com >>~/.ssh/known_hosts
-git config user.email "ginkgo.library@gmail.com"
-git config user.name "Ginkgo Bot"
 
 # Fetch from github
 git fetch fork "$BRANCH_NAME"