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 <>
Sent: Saturday, October 22, 2022 11:43:51 PM
To: Darin Adler <>
Cc: <>
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
<> 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;!!JmoZiZGBv3RvKRSx!6acmLR6WO1OcQDLQ2ughafLmLz1jFFMq2eExjpA1bOHB0z7f6CZSgWhu6N6QR1_hUff4isSJ7zspgXf-ecOWUFrJtX0$
webkit-dev mailing list

Reply via email to