Thank you Marcus for your effort to engage more people from the community on managing the issue tracker entries more efficiently ð Regards, Sent from my iPhone
On 18 May 2022, at 14:50, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,
One problem with a public issue tracker: it accumulates lots of issuesâ¦
This sadly means that issues will not be looked at one by one⦠there are just too many.
One thing that is interesting to do is to check the issue that *you* submitted.
- Is the issue still relevant? - is the title good and in sync with the issue? - Has it been fixed already ? (it happens!)
Then, for every issue there is a ânext stepâ. It can be a good thing to spell out very explicitly what the next step is âWe need to create a Pull Request for the suggested fixâ.
Or maybe what is needed is a summary of the huge discussion in the issue tracker entry.
Another idea: try to find others to help. E.g.
- send a mail to the mailinglist. - ask on discord.
Maybe you can find a small group that works on this issue together.
Marcus