Change ElementBot mail to android@element.io

This commit is contained in:
Benoit Marty 2024-09-19 11:22:58 +02:00
parent 929cefa21f
commit 197fe9b2e2

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