From e7c92b15cc8384d1ba8b0410fcb128b95621d467 Mon Sep 17 00:00:00 2001
From: Gernot Schulz <gernot.schulz@overleaf.com>
Date: Mon, 24 Nov 2025 15:28:26 +0100
Subject: [PATCH] Merge pull request #29870 from
 overleaf/gs-jenkins-project-opt

Add `--project` option to Jenkins issue script

GitOrigin-RevId: b38f181e1dc22687654d17c7a6b7bf185848620b
---
 services/web/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/services/web/Jenkinsfile b/services/web/Jenkinsfile
index 19c1f9996f..b21b627811 100644
--- a/services/web/Jenkinsfile
+++ b/services/web/Jenkinsfile
@@ -378,7 +378,7 @@ pipeline {
       script {
         if (env.BRANCH_NAME == 'main') {
           node('built-in') {
-            sh '/usr/local/bin/open-gh-failure-issue'
+            sh '/usr/local/bin/open-gh-failure-issue --project="🚉 Platform"'
           }
         }
       }