The "currently open" view also shows closed (unmerged) PRs

[pchampin]

E.g., it currently shows, e.g

• w3c/did-spec#26
• w3c/did-spec#27
• a bunch of other closed PRs on did-spec

This may be related (?) to the fact that did-spec was renamed (some time ago) to did-core.
(For completeness, the same repo was renamed again recently to did, even though I don't think that that last renaming can have anything to do with this issue)

[deniak]

Unfortunately these PRs are too old to debug why they weren't properly closed in the repo manager.
I'm pretty sure a lot of the PRs listed have been closed and they haven't recorded them as such.
I don't think it's a big problem as long as the PR was merged with the right commitments but I'm leaving that issue open to see how we can review all these PRs are update their state if necessary.

[dontcallmedom]

more generally, I think we should have the tool check updated states of PRs it knows of on a regular basis, and we should clarify how we want to handle PRs that no longer exist for a reason or another (see also #271 re PR state monitoring)