Change ElementBot mail to android@element.io

This commit is contained in:
Benoit Marty
2024-09-19 11:22:58 +02:00
parent a18463568b
commit 5ec61619e1

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