This repository was archived by the owner on Jun 21, 2023. It is now read-only.

Description
I closed a PR on the website so I could create a new PR from the extension for the same branch. The new one shows up, but so does the old one, both in the "Open" filter. The date on the new PR is updating every time I refresh, so for some reason it seems the status is not updating on the old PR, so the list thinks it's open when it's not.