File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -20,14 +20,14 @@ git checkout -- src/pages/postgraphile/usage-*.md
2020
2121if [ " $GITHUB_TOKEN " != " " ] && [ " $GITHUB_BASE_REF " == " " ] && [ " $GITHUB_REF " == " refs/heads/develop" ]; then
2222 echo " GITHUB_TOKEN is specified"
23+ git config user.email " co" ' ' " de" @" benjie" " gillam" ' .' " com"
24+ git config user.name " Benjie Gillam"
2325
2426 # git diff-index only looks at modified timestamps; this update-index call
2527 # forces git to recognise that certain files are unmodified.
2628 git update-index -q --really-refresh
2729 if ! git diff-index --exit-code --name-status HEAD --; then
2830 echo " But first; there were changes so lets try and push those back to 'develop'"
29- git config user.email " co" ' ' " de" @" benjie" " gillam" ' .' " com"
30- git config user.name " Benjie Gillam"
3131 git add -u
3232 git commit -m" autofix: fixes from CI"
3333
You can’t perform that action at this time.
0 commit comments