Hi!
as a heads up for the folks with issue tracker access:
https://github.blog/changelog/2022-05-19-the-new-github-issues-may-19th-update/
GitHub updated the issue tracker to basically" allow specifying whether
an issue is closed as "resolved" or as "won't do". The selection is
available in the dropdown of the close button.
As of now this feature does little more than using a slightly different
icon + color for the closed issue, but I think it would be useful
selecting the correct variant going forward, in case GitHub extends this
feature in the future.
Best regards
Tim Düsterhus
