Set git config user and pass in Jenkinsfile

Author: uoa-noel

Jenkinsfile

@@ -390,6 +390,8 @@ pipeline {
                     steps {
                         dir("subhub-link-checker") {
                             echo "Deploying to GitHub pages..."
+                            sh "git config user.email '[email protected]' && git config --global user.name 'ci-auto'"
+                            sh "git config credential.helper '/bin/bash credentials-helper-ci.sh'"
                             sh "npm run deploy"
                         }
                     }

subhub-link-checker/credentials-helper-ci.sh

@@ -0,0 +1,4 @@
+#! /bin/bash
+# File for retrieving Git username and password from Jenkins. Only applicable from CI server.
+echo username=$GIT_CREDS_USR
+echo password=$GIT_CREDS_PSW