Is cleaning up old issues worthwhile?

Alexandre Rodrigues alexandreR_B at
Sat May 4 22:04:38 UTC 2019

They can be closed outright, but marking them with obsolescence is still useful for future reference, and is negligible.

From: ghc-devs <ghc-devs-bounces at> on behalf of Matthew Pickering <matthewtpickering at>
Sent: Saturday, May 4, 2019 10:56:49 PM
To: Kevin Buhr
Cc: GHC developers
Subject: Re: Is cleaning up old issues worthwhile?

I'm not sure the benefit of marking these tickets obsolete is. You may
as well just close them. Someone can reopen them if they disagree.

There could be some arguent for adding tests from these old tickets
but tbh they are so old that if the bug still exists there is probably
a newer ticket.

On Sat, May 4, 2019 at 10:31 PM Kevin Buhr <buhr at> wrote:
> Okay, I've added a new "obsolete" label:  "Old issues that no longer
> apply and are in a short waiting period before closing."  I'll start
> going through the low-hanging fruit adding comments and sticking this
> label on them, with the idea of going back and closing them after, say,
> 4 weeks with no complaints.  After I've gone through a few of these and
> gained some experience with it, I'll try to draft some guidelines for
> handling old tickets.
> Anyway, please let me know if this process starts to get irritating.
> --
> Kevin Buhr <buhr at>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at
ghc-devs mailing list
ghc-devs at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list