From 7b7f0b84e8cddd5880dcf29c231672113224b9a7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ivar=20Conradi=20=C3=98sthus?= Date: Fri, 20 May 2022 12:53:36 +0200 Subject: [PATCH] fix: coverage action need username --- scripts/commit-coverage.sh | 4 ++++ 1 file changed, 4 insertions(+) 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