jenkins: allow testing master

diff --git a/Jenkinsfile b/Jenkinsfile
index 2f6d440b15bd8cb467ee1ae025219f162eb2138b..eb6166526f29562076158810fe43bf40acf2e8a9 100644 (file)
--- 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'