message: Define git author and commiter information as environment variables
diff: @@ -61,6 +61,10 @@ pipeline {
  WIN_CXX = 'g++'
  PARALLEL = 8
  MPICXX = 'mpicxx.openmpi'
  + GIT_AUTHOR_NAME = 'Stan Jenkins'
  + GIT_AUTHOR_EMAIL = 'mc.stanislaw@gmail.com'
  + GIT_COMMITTER_NAME = 'Stan Jenkins'
  + GIT_COMMITTER_EMAIL = 'mc.stanislaw@gmail.com'
  }
  stages {
  stage('Kill previous builds') {
  @@ -130,11 +134,8 @@ pipeline {
  clang-format --version
  find src -name '*.hpp' -o -name '*.cpp' | xargs -n20 -P${env.PARALLEL} clang-format -i
  if [[ `git diff` != "" ]]; then
  - git config user.email "mc.stanislaw@gmail.com"
  - git config user.name "Stan Jenkins"
  -
  git add src
  - git commit --author="Stan BuildBot <mc.stanislaw@gmail.com>" -m "[Jenkins] auto-formatting by `clang-format --version`"
  + git commit -m "[Jenkins] auto-formatting by `clang-format --version`"
  git push https://${GIT_USERNAME}:${GIT_PASSWORD}@github.com/${fork()}/cmdstan.git ${branchName()}
  echo "Exiting build because clang-format found changes."
  echo "Those changes are now found on stan-dev/cmdstan under branch ${branchName()}"
  