From e4cb15c005d755d2231602c4306c925e29290376 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 25 Nov 2019 15:28:44 -0500
Subject: [PATCH] jenkins: allow testing master

---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2f6d440b15..eb6166526f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,6 +36,10 @@ pipeline
       {
         stage("permission")
         {
+          // skip permission check on master:
+          when {
+              not {branch 'master'}
+          }
           steps
           {
             githubNotify context: 'CI', description: 'need ready to test label and /rebuild',  status: 'PENDING'
-- 
2.39.5