remove git identity

This commit is contained in:
Daniel Sanche 2020-07-13 14:35:41 -07:00
parent 5050f3d267
commit dcef696271

View file

@ -33,7 +33,6 @@ jobs:
set -x set -x
git init git init
git add --all git add --all
git -c user.name="CI Bot" -c user.email="<>" commit -m "initial state"
addlicense ./ addlicense ./
if [[ -n $(git status -s) ]]; then if [[ -n $(git status -s) ]]; then
exit 1 exit 1