From e85157a56c28ec1158c457beaf170f8bae7b5357 Mon Sep 17 00:00:00 2001
From: Alexey Sokolov <alexey+znc@asokolov.org>
Date: Tue, 19 Jun 2018 20:36:42 +0100
Subject: [PATCH] crowdin: push directly to github

Leave ability to open PRs, as a way to test changes if needed.
---
 .ci/Jenkinsfile.crowdin | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.ci/Jenkinsfile.crowdin b/.ci/Jenkinsfile.crowdin
index cf9ab2fb..b0412438 100644
--- a/.ci/Jenkinsfile.crowdin
+++ b/.ci/Jenkinsfile.crowdin
@@ -13,6 +13,8 @@ def my_user = 'znc-jenkins'
 def my_repo = 'znc'
 def branches = ['master', '1.7.x']
 
+def pr_mode = false
+
 timestamps {
   node {
     timeout(time: 30, unit: 'MINUTES') {
@@ -71,6 +73,10 @@ timestamps {
                   sh 'echo ssh -i $GITHUB_KEY -l git -o StrictHostKeyChecking=no \\"\\$@\\" > run_ssh.sh'
                   sh 'chmod +x run_ssh.sh'
                   withEnv(['GIT_SSH=run_ssh.sh']) {
+                    if (!pr_mode) {
+                      sh "git push upstream HEAD:refs/heads/${upstream_branch}"
+                      return
+                    }
                     sh "git push my HEAD:refs/heads/${my_branch} -f"
                   }
                 }