diff --git a/.github/scripts/upload_py_tools.sh b/.github/scripts/upload_py_tools.sh index a7dd69ac17b..f3ca9734be3 100755 --- a/.github/scripts/upload_py_tools.sh +++ b/.github/scripts/upload_py_tools.sh @@ -1,7 +1,6 @@ #!/bin/bash CHANGED_FILES=$1 echo "Pushing '$CHANGED_FILES' as github-actions[bot]" -git config --global github.user "github-actions[bot]" git config --global user.name "github-actions[bot]" git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" for tool in $CHANGED_FILES; do