From f218a6e1b181a582d16f63ab4961767f33e2b340 Mon Sep 17 00:00:00 2001
From: Ralph Bean <rbean@redhat.com>
Date: Sep 20 2018 15:46:22 +0000
Subject: Configure git committer.


It looks like the git commit line is failing in Jenkins due to something about
being unable to determine the email address.  Hopefully, setting it explicitly
here will help.

---

diff --git a/Jenkinsfile b/Jenkinsfile
index b7e2a3b..efc675e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -103,6 +103,8 @@ node('fedora-28') {
                 if [[ "$(git diff --cached --numstat | wc -l)" -eq 0 ]] ; then
                     exit 0 # No changes, nothing to commit
                 fi
+                git config user.name "Jenkins Job"
+                git config user.email "nobody@redhat.com"
                 git commit -m 'Automatic commit of docs built by Jenkins job ${env.JOB_NAME} #${env.BUILD_NUMBER}'
                 git push origin master
                 '''