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