From 5655f50f0c7da9eb2fd7c064e4b3f26e6252617b Mon Sep 17 00:00:00 2001
From: Malik Shahzad Muzaffar <shahzad.malik.muzaffar@cern.ch>
Date: Thu, 1 Feb 2018 22:12:41 +0100
Subject: [PATCH] Update query-and-process-prs

---
 query-and-process-prs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/query-and-process-prs b/query-and-process-prs
index d6eb7807a702..41570d5f3fad 100755
--- a/query-and-process-prs
+++ b/query-and-process-prs
@@ -11,8 +11,9 @@ import sys
 SCRIPT_DIR = dirname(abspath(sys.argv[0]))
 
 def check_prs(gh, repo, since, process_issue, dryRun):
+  if repo.full_name in ["cms-sw/cmsdist", "cms-sw/cmssw"]: return
+  if not get_repository_hooks(repo.full_name,"Jenkins_Github_Hook"): return  
   print "Working on Repository: ",repo.full_name
-  if not get_repository_hooks(repo.full_name,"Jenkins_Github_Hook"): return
   if since:
     issues = repo.get_issues(state="open", sort="updated", since=since)
   else: