Merge branch 'ci/tools_fix'

lucasssvaz · Jun 12, 2024 · c161110 · c161110
2 parents 1a7633e + 3d2e357
commit c161110
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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