Merge pull request #3497 from element-hq/feature/bma/changeElementBotMail

Change ElementBot mail to android@element.io
This commit is contained in:
Benoit Marty 2024-09-19 14:32:59 +02:00 committed by GitHub
commit 3e4117cf84

View file

@ -66,7 +66,7 @@ else
fi
if [[ -z ${INPUT_AUTHOR_EMAIL} ]]; then
git config user.email "benoitm+elementbot@element.io"
git config user.email "android@element.io"
else
git config --local user.name "${INPUT_AUTHOR_EMAIL}"
fi