Comment by arp242

10 months ago

> 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.

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