From 0c09fb3853e0074271815b1c6f2592e5e5dd958a Mon Sep 17 00:00:00 2001
From: double beep <38133098+double-beep@users.noreply.github.com>
Date: Thu, 18 Jul 2024 18:48:38 +0000
Subject: [PATCH] update dist

---
 dist/fire_extra.user.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dist/fire_extra.user.js b/dist/fire_extra.user.js
index 6179330..20d8eed 100644
--- a/dist/fire_extra.user.js
+++ b/dist/fire_extra.user.js
@@ -306,8 +306,11 @@
     if (pr && prId) {
       const { regex, type } = pr;
       updateKeywordLists(regex.source, type);
+      Domains.pullRequests = Domains.pullRequests.filter(({ id }) => id !== prId);
     }
-    getUpdatedPrInfo(message).then((info) => Domains.pullRequests = info || []).catch((error) => console.error(error));
+    getUpdatedPrInfo(message).then((info) => {
+      Domains.pullRequests = (info || []).filter(({ id }) => id !== prId);
+    }).catch((error) => console.error(error));
   }
 
   // src/stackexchange.ts