[webkit-dev] Remove the version labels in GitHub

[Kirsling, Ross]

Indeed, I'd love it those didn't exist.
(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 at lists.webkit.org>
Sent: Saturday, October 22, 2022 11:43:51 PM
To: Darin Adler <darin at apple.com>
Cc: webkit-dev at lists.webkit.org <webkit-dev at 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 at 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 at lists.webkit.org
https://urldefense.com/v3/__https://lists.webkit.org/mailman/listinfo/webkit-dev__;!!JmoZiZGBv3RvKRSx!6acmLR6WO1OcQDLQ2ughafLmLz1jFFMq2eExjpA1bOHB0z7f6CZSgWhu6N6QR1_hUff4isSJ7zspgXf-ecOWUFrJtX0$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20221022/3a14e2f1/attachment.htm>