Can we just get rid of all this?
That would be nice. These labels are not useful for pull requests. _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
Re: [webkit-dev] Remove the version labels in GitHub
Michael Catanzaro via webkit-dev Sat, 22 Oct 2022 07:44:20 -0700
On Sat, Oct 22 2022 at 07:31:06 AM -0700, Darin Adler via webkit-dev
<[email protected]> wrote:
- [webkit-dev] Remove the version labels in... Darin Adler via webkit-dev
- Re: [webkit-dev] Remove the version ... Michael Catanzaro via webkit-dev
- Re: [webkit-dev] Remove the vers... Kirsling, Ross via webkit-dev
- Re: [webkit-dev] Remove the version ... Caitlin Potter via webkit-dev
- Re: [webkit-dev] Remove the vers... Darin Adler via webkit-dev
- Re: [webkit-dev] Remove the ... Yusuke Suzuki via webkit-dev
- Re: [webkit-dev] Remove ... Kirsling, Ross via webkit-dev
