From faab7727a55c3aee17770712a40c4f23f23f2ad8 Mon Sep 17 00:00:00 2001
From: ericLemanissier <ericLemanissier@users.noreply.github.com>
Date: Wed, 20 Mar 2024 09:53:39 +0100
Subject: [PATCH] Update main.py

---
 main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.py b/main.py
index afea44356a84a..92ba684f7962d 100644
--- a/main.py
+++ b/main.py
@@ -41,7 +41,7 @@ def __init__(self, token: str = "", user: str = "", pw: str = ""):  # noqa: MC00
                 "page": str(page)
             }).json()
             for p in results:
-                if int(p["number"]) in [13539, 16266, 18490, 19488]:
+                if int(p["number"]) in [13539, 16266, 18490, 19488, 23125]:
                     logging.warning("ignoring pr #%s because it is in deny list", p["number"])
                     continue
                 body = p["body"] or ""