There are a lot of old pull requests that need cleaning up!
There are several that are probably candidate for closing without merging:
-
"Old" ones, however we want to make that arbitrary cut. Say, 2016 and older.
-
Incomplete PRs, ones marked WIP
-
PRs not currently passing tests