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
