message: adds jenkins helper functions
diff: @@ -28,6 +28,12 @@ def deleteDirWin() {
  deleteDir()
  }
  +def isBranch(String b) { env.BRANCH_NAME == b }
  +Boolean isPR() { env.CHANGE_URL != null }
  +String fork() { env.CHANGE_FORK ?: "stan-dev" }
  +String branchName() { isPR() ? env.CHANGE_BRANCH :env.BRANCH_NAME }
  +
  +
  pipeline {
  agent none
  options { skipDefaultCheckout() }
  