[arp242]

> exactly the sort of problem that doesn't happen with a Github issue/PR

What? PRs or issues being forgotten happens all the time, especially for large projects.

[samus]

It would still be easier to track the progress (or lack thereof) with a proper ticketing system.