File tree Expand file tree Collapse file tree 1 file changed +7
-11
lines changed Expand file tree Collapse file tree 1 file changed +7
-11
lines changed Original file line number Diff line number Diff line change @@ -29,20 +29,16 @@ if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF"
29
29
git config user.email " co" ' ' " de" @" benjie" " gillam" ' .' " com"
30
30
git config user.name " Benjie Gillam"
31
31
git add -u
32
- git commit -m" Fixes from CI"
32
+ git commit -m" autofix: fixes from CI"
33
33
34
- # I really hope this doesn't cause an infinite CI loop
35
34
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 " ########################################"
44
35
fi
45
-
36
+ echo
37
+ echo " #"
38
+ echo " # LGTM!"
39
+ echo " #"
40
+ echo " ########################################"
41
+ echo
46
42
echo " Okay; time to deploy..."
47
43
scripts/deploy
48
44
elif ! git diff-index --exit-code --name-only HEAD --; then
You can’t perform that action at this time.
0 commit comments