From ff064e3ab437dc3bc5218c983c95c7b3f0d7bb6f Mon Sep 17 00:00:00 2001
From: Alexey Sokolov <alexey+znc@asokolov.org>
Date: Sun, 7 Jun 2020 15:07:06 +0100
Subject: [PATCH] Fix the new CI script

---
 .ci/Jenkinsfile.crowdin     | 2 +-
 .ci/crowdin-contributors.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci/Jenkinsfile.crowdin b/.ci/Jenkinsfile.crowdin
index 0f0530ee..15366665 100644
--- a/.ci/Jenkinsfile.crowdin
+++ b/.ci/Jenkinsfile.crowdin
@@ -55,7 +55,7 @@ timestamps {
                   def contributors = httpRequest consoleLogResponseBody: true, customHeaders: headers, url: "https://crowdin.com/api/v2/projects/289533/members?limit=500"
                   writeFile file: 'contributors.tmp', text: contributors.content
                 }
-                sh '.ci/crowdin-contributors.py < contributors.tmp'
+                sh 'test -x .ci/crowdin-contributors.py && .ci/crowdin-contributors.py < contributors.tmp'
                 sh 'rm contributors.tmp'
               }
               stage("Push ${upstream_branch}") {
diff --git a/.ci/crowdin-contributors.py b/.ci/crowdin-contributors.py
index 68971383..6cb0d1ce 100755
--- a/.ci/crowdin-contributors.py
+++ b/.ci/crowdin-contributors.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import json
 import sys