File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -29,20 +29,16 @@ if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF"
2929 git config user.email " co" ' ' " de" @" benjie" " gillam" ' .' " com"
3030 git config user.name " Benjie Gillam"
3131 git add -u
32- git commit -m" Fixes from CI"
32+ git commit -m" autofix: fixes from CI"
3333
34- # I really hope this doesn't cause an infinite CI loop
3534 git push origin HEAD:develop
36- echo " Exiting with failed build due to local changes"
37- exit 1
38- else
39- echo
40- echo " #"
41- echo " # LGTM!"
42- echo " #"
43- echo " ########################################"
4435 fi
45-
36+ echo
37+ echo " #"
38+ echo " # LGTM!"
39+ echo " #"
40+ echo " ########################################"
41+ echo
4642 echo " Okay; time to deploy..."
4743 scripts/deploy
4844elif ! git diff-index --exit-code --name-only HEAD --; then
You can’t perform that action at this time.
0 commit comments