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@lists.webkit.org> Sent: Saturday, October 22, 2022 11:43:51 PM To: Darin Adler <da...@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$
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev