Comment by arp242
1 year 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.
1 year 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.