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

Change ElementBot mail to [email protected]

Author: bmarty

.github/workflows/scripts/recordScreenshots.sh

@@ -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