GitHub now has a feature to distinguish closed issues because they were completed (purple) and closed issues because they were not planned (gray). I just changed the status of https://github.com/coq/coq/issues/14719 to test this. We could change the status of all past won't fix issues but I'm afraid this would trigger notifications for everyone.
It did trigger a notification for me as the author of the issue. Probably it does for everyone who's subscribed to it?
That's my guess.
Last updated: Jun 05 2023 at 10:01 UTC