From 49fdb6279d66cd6ed299b986d195ca0750e44647 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Fri, 7 Jan 2022 10:44:11 +0100 Subject: [PATCH] chore: Switch to leanprover community bot email for automated doc updates --- deploy_docs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deploy_docs.sh b/deploy_docs.sh index 2e0e145..d9d89bc 100755 --- a/deploy_docs.sh +++ b/deploy_docs.sh @@ -34,8 +34,8 @@ if [ "$3" = "true" ]; then chmod 600 ~/.ssh/id_ed25519 cd mathlib4_docs/docs git remote set-url origin "git@github.com:leanprover-community/mathlib4_docs.git" - git config user.email "hargonix@gmail.com" - git config user.name "doc-gen4-bot" + git config user.email "leanprover.community@gmail.com" + git config user.name "leanprover-community-bot" git add -A . git checkout --orphan master2 git commit -m "automatic update to mathlib4 $mathlib_short_git_hash using doc-gen4 $docgen_git_hash"