Hacker News new | ask | show | jobs
by mehrdadn 2587 days ago
Which PRs are you talking about? PRs I see there are either all from the last 4 hours or from 2016 and earlier that were merged.
2 comments
op00to 2587 days ago
4 hours ago was the last update to the PR, the pull requests are from years ago.
link
mehrdadn 2587 days ago
Oh wow, didn't realize. Yeah I see now. Thanks.
link
dagwieers 2587 days ago
As part of archiving the project, I closed all open issues and PRs. That was what Github recommended me to do and I deemed best for everyone involved.
link