From a0ac11eb0dc6dce84812fb961255a67da28bbbf8 Mon Sep 17 00:00:00 2001 From: James Allen Date: Mon, 18 Sep 2017 11:11:33 +0200 Subject: [PATCH] Actually push to master branch --- services/web/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/services/web/Jenkinsfile b/services/web/Jenkinsfile index 82dd2c049c..8e3f2af972 100644 --- a/services/web/Jenkinsfile +++ b/services/web/Jenkinsfile @@ -138,7 +138,7 @@ pipeline { } steps { sshagent (credentials: ['GIT_DEPLOY_KEY']) { - sh 'git push git@github.com:sharelatex/web-sharelatex.git HEAD:ja-oss-test' + sh 'git push git@github.com:sharelatex/web-sharelatex.git HEAD:master' } } }