From 16972af285540e4a01f39a2e0520fe29f437092b Mon Sep 17 00:00:00 2001
From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Mon, 27 Nov 2023 10:19:27 -0500
Subject: [PATCH] Add jenkins multibranch pipeline options

---
 .jenkins | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.jenkins b/.jenkins
index f5d0bfcf0e8..2fa3a68f8b4 100644
--- a/.jenkins
+++ b/.jenkins
@@ -8,9 +8,14 @@ pipeline {
     }
 
     options {
+        disableConcurrentBuilds(abortPrevious: true)
         timeout(time: 6, unit: 'HOURS')
     }
 
+    triggers {
+        issueCommentTrigger('.*test this please.*')
+    }
+
     stages {
         stage('Clang-Format') {
             agent {