(I always imagined them to be exclusively intended for bug reports originating from non-contributors, but I'm not even certain how much they've been used in that scenario.)

From: Michael Catanzaro via webkit-dev <webkit-dev@lists.webkit.org>
Sent: Saturday, October 22, 2022 11:43:51 PM
To: Darin Adler <darin@apple.com>
Cc: webkit-dev@lists.webkit.org <webkit-dev@lists.webkit.org>
Subject: Re: [webkit-dev] Remove the version labels in GitHub

On Sat, Oct 22 2022 at 07:31:06 AM -0700, Darin Adler via webkit-dev
<webkit-dev@lists.webkit.org> wrote:
> Can we just get rid of all this?

That would be nice. These labels are not useful for pull requests.

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://urldefense.com/v3/__https://lists.webkit.org/mailman/listinfo/webkit-dev__;!!JmoZiZGBv3RvKRSx!6acmLR6WO1OcQDLQ2ughafLmLz1jFFMq2eExjpA1bOHB0z7f6CZSgWhu6N6QR1_hUff4isSJ7zspgXf-ecOWUFrJtX0$