diff --git a/services/document-updater/Jenkinsfile b/services/document-updater/Jenkinsfile index 43b6722ba9..4ffd642356 100644 --- a/services/document-updater/Jenkinsfile +++ b/services/document-updater/Jenkinsfile @@ -60,6 +60,17 @@ pipeline { } } } + + stage('Sync OSS') { + when { + branch 'master' + } + steps { + sshagent (credentials: ['GIT_DEPLOY_KEY']) { + sh 'git push git@github.com:sharelatex/document-updater-sharelatex.git HEAD:master' + } + } + } } post {