Fix upstream update - correct branch name

stan-dev · Oct 18, 2017 · 4e1b432 · 4e1b432
1 parent d0d3984
commit 4e1b432
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -35,7 +35,7 @@ def runTests(String testPath) {
 }
 
 def updateUpstream(String upstreamRepo) {
-    if (env.BRANCH_NAME == 'build/upstream') {
+    if (env.BRANCH_NAME == 'develop') {
         node('master') {
             retry(3) {
                 checkout([$class: 'GitSCM',