From e494a4e634221c60e08febb48d5c3e973dedc116 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sat, 5 May 2018 17:44:34 -0400
Subject: [PATCH] Jenkins set git username and email with environment variables

---
 Jenkinsfile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f8cd5e99619c..a030dbd31075 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -154,7 +154,6 @@ pipeline {
           }
         }
 
-
         stage('doxygen') {
           agent {
             docker {
@@ -189,12 +188,12 @@ pipeline {
             }
           }
           environment {
+            GIT_COMMITTER_EMAIL = "bot@pixhawk.org"
+            GIT_COMMITTER_NAME = "PX4BuildBot"
             PX4_FIRMWARE_TEST_BRANCH = "ecl_${env.JOB_BASE_NAME}"
           }
           steps {
             sh 'export'
-            sh('git config user.email "bot@pixhawk.org"')
-            sh('git config user.name "PX4BuildBot"')
             withCredentials([usernamePassword(credentialsId: 'px4buildbot_github', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {
               sh('git clone --branch master --origin px4 https://${GIT_USER}:${GIT_PASS}@github.com/PX4/Firmware.git')
             }