Hi Tim,
On Thu, May 19, 2022 at 09:18:16PM +0200, Tim Düsterhus wrote:
> 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.
Indeed, I've already felt that something like this was missing. Now whether
we'll think about it or not, and it will be convenient, we'll see.
Thanks for the heads up!
Willy
