3 ms·
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.
by mehrdadn 7y 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.
- op00to 7y ago4 hours ago was the last update to the PR, the pull requests are from years ago.
- mehrdadn 7y agoOh wow, didn't realize. Yeah I see now. Thanks.
- dagwieers 7y agoAs 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.