message: Try to allow hotfixes. Also unify whitespace
diff: @@ -3,21 +3,6 @@ import org.stan.Utils
  def utils = new org.stan.Utils()
  -def checkout_pr(String repo, String pr) {
  - prNumber = pr.tokenize('-').last()
  - if (repo == "math") {
  - dir = "stan/lib/stan_math"
  - } else {
  - dir = repo
  - }
  - sh """
  - cd ${dir}
  - git clean -xffd
  - git fetch https://github.com/stan-dev/${repo} +refs/pull/${prNumber}/merge:refs/remotes/origin/pr/${prNumber}/merge
  - git checkout refs/remotes/origin/pr/${prNumber}/merge
  - """
  -}
  -
  def setupCXX(CXX = env.CXX) {
  unstash 'CmdStanSetup'
  writeFile(file: "make/local", text: "CXX = ${CXX}\n")
  @@ -54,12 +39,8 @@ pipeline {
  sh 'git clean -xffd'
  sh 'make stan-revert'
  script {
  - if (params.stan_pr != '') {
  - checkout_pr("stan", params.stan_pr)
  - }
  - if (params.math_pr != '') {
  - checkout_pr("math", params.math_pr)
  - }
  + utils.checkout_pr("stan", "stan", params.stan_pr)
  + utils.checkout_pr("math", "stan/lib/stan_math", params.math_pr)
  }
  stash 'CmdStanSetup'
  }
  