We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a3e9bb5 commit 8cff5c0Copy full SHA for 8cff5c0
scripts/ci
@@ -26,6 +26,8 @@ if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF"
26
git update-index -q --really-refresh
27
if ! git diff-index --exit-code --name-status HEAD --; then
28
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"
31
git add -u
32
git commit -m"Fixes from CI"
33
0 commit comments