unleash.unleash/scripts/commit-coverage.sh

#!/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
fix: auto-push coverage 2022-05-20 11:59:42 +02:00			`#!/bin/bash`

fix: coverage action need username 2022-05-20 12:53:36 +02:00			`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`

fix: auto-push coverage 2022-05-20 11:59:42 +02:00			`git add coverage`
			`git diff-index --quiet HEAD \|\| git commit -m 'chore: update coverage reports'`
			`git push origin`