From caaf142fbe000d6d205e502b10f80ca5d47a4d80 Mon Sep 17 00:00:00 2001
From: Theofilos Manitaras <manitaras@cscs.ch>
Date: Thu, 4 Jul 2019 08:11:03 +0200
Subject: [PATCH] Run ci if not triggered by a comment

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e45c414a75..ce4215405c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,7 +16,7 @@ stage('Initialization') {
             echo sh(script: 'env|sort', returnStdout: true)
 
             def githubComment = env.ghprbCommentBody
-            if (githubComment == 'null') {
+            if (githubComment == 'null' || !githubComment.trim().startsWith('@jenkins-cscs')) {
                 machinesToRun = machinesList
                 currentBuild.result = 'SUCCESS'
                 return