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 95712614eb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

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