update dist

userscripters · Jul 18, 2024 · 0c09fb3 · 0c09fb3
1 parent 29e2c9f
commit 0c09fb3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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