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.