Description
@phadej wrote: #7778 (comment)
There are many people pinged on this issue. Please stop spamming. Thanks.
@DanBurton wrote: #7778 (comment)
Locked the comments since this does ping a lot of people.
I am afraid I do not agree with this decision. These issues have always been used as a worksheet for people to tick off their tasks by writing comments (because ticking off the checkboxes isn't possible due to missing rights).
There is no reason to depart from that practice, esp. not without providing a convenient alternative.
Github provides an easy way to unsubscribe from an issue, it is a single click.
If needed, I can add a screenshot here.
More seriously, I consider placing a muzzle on volunteers that contribute without compensation to the maintenance of the Stackage a serious insult.
So, please reopen issue #7778 for comments (and possible add an instruction how to unsubscribe for those that need this).