From bc01efe5ee09e71c7d4e07aa788ba47b5bbbb321 Mon Sep 17 00:00:00 2001
From: Shahzad Malik Muzaffar <shahzad.malik.muzaffar@cern.ch>
Date: Tue, 11 Feb 2025 11:31:02 +0100
Subject: [PATCH] do not process simple-cms-bot request

---
 process-pull-request.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/process-pull-request.py b/process-pull-request.py
index bc592affe228..e6c8eb146fec 100755
--- a/process-pull-request.py
+++ b/process-pull-request.py
@@ -91,6 +91,8 @@
 
         if not getattr(repo_config, "RUN_DEFAULT_CMS_BOT", True):
             sys.exit(0)
+        if getattr(repo_config, "REQUEST_PROCESSOR", "cms-bot") != "cms-bot":
+            sys.exit(0)
         gh = Github(login_or_token=get_gh_token(opts.repository), per_page=100)
         api_rate_limits(gh)
         repo = gh.get_repo(opts.repository)