From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 25 Nov 2019 20:28:44 +0000 (-0500)
Subject: jenkins: allow testing master
X-Git-Tag: v9.2.0-rc1~848^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9095%2Fhead;p=dealii.git

jenkins: allow testing master
---

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'