PRs still listed 3 years after closing and after repo archiving
Visiting pullrequestroulette.com right now, I found that only 2 of the first 10 PRs on the list were open and in reachable, non-archived repos. The closed ones had been closed for at least 20 months! Shouldn't the app periodically check for this?
https://github.com/alvarotrigo/fullPage.js/pull/612 (closed 2016-04-29) https://github.com/freeCodeCamp/camper-gitter-bot/pull/89 (merged 2016-05-07, repo now archived) https://github.com/freeCodeCamp/camper-gitter-bot/pull/83 (closed 2016-10-16, repo now archived) https://github.com/petdance/html-tidy/pull/19 (closed 2017-05-26, repo now archived) https://github.com/mstevens/Proc--InvokeEditor/pull/3 (open at the time of reporting) https://github.com/tobyink/p5-type-tiny/pull/21 (merged 2017-02-08) https://github.com/erichoracek/MSDynamicsDrawerViewController/pull/21 (open) https://github.com/saurabhlambe/hello-world/pull/3 (repo 404) https://github.com/dolmen-perl5/Git-Sub/pull/4 (closed 2016-10-18) https://github.com/mindmup/bootstrap-wysiwyg/pull/50 (open, but repo now archived)
@davearonson This gets important, because this repository is listed by digital ocean at https://hacktoberfest.digitalocean.com/details in the context of #hacktoberfest.

Having it check for PR status, whether on some kind of schedule (which of course requires knowing what kind of system it's deployed, which for now is Heroku) or on use (maybe kicked off as a background job after each use?), and removing closed or otherwise dead PRs, would be a great PR for someone to submit.... :-)
@koppor Oh wow, it hit the big time... and apparently in a broken state. Dang. Sorry 'bout that. I'll try to get some time Real Soon Now to delve into why it's broken, probably assorted upgrades that Heroku has forced upon it.
Found this through the Hacktoberfest 2021 website, but I see a lot of closed/merged/archived PRs :cry: