diff --git a/scripts/commit-coverage.sh b/scripts/commit-coverage.sh index cd40fc3b80..77678e310a 100755 --- a/scripts/commit-coverage.sh +++ b/scripts/commit-coverage.sh @@ -1,5 +1,9 @@ #!/bin/bash +git config --global user.name "${GH_NAME}" +git config --global user.email "${GH_EMAIL}" +echo "machine github.com login ${GH_NAME} password ${GH_TOKEN}" > ~/.netrc + git add coverage git diff-index --quiet HEAD || git commit -m 'chore: update coverage reports' git push origin \ No newline at end of file