diff --git a/hacking/get_bot_user.sh b/hacking/get_bot_user.sh index 3052958deb..0a09d3b370 100755 --- a/hacking/get_bot_user.sh +++ b/hacking/get_bot_user.sh @@ -11,4 +11,4 @@ user_id="$(curl -sS "${path}" | jq -r .id)" GIT="${GIT:-git}" ${GIT} config user.name "${name}" -${GIT} config user.email "${user_id}+${bot}@users.noreply.github.com" +${GIT} config user.email "${user_id}+${bot}[bot]@users.noreply.github.com"