Re: [webkit-dev] Remove the version labels in GitHub

2022-11-20 Thread Kirsling, Ross via webkit-dev
-dev] Remove the version labels in GitHub I also would like to propose removing Version label asking in git-webkit when creating a bugzilla entry. This was not happening when using webkit-patch. Given that we have no consensus on adding this, I think this is a regression. -Yusuke On Nov 14, 2022

Re: [webkit-dev] Remove the version labels in GitHub

2022-11-20 Thread Yusuke Suzuki via webkit-dev
I also would like to propose removing Version label asking in git-webkit when creating a bugzilla entry. This was not happening when using webkit-patch. Given that we have no consensus on adding this, I think this is a regression. -Yusuke > On Nov 14, 2022, at 2:38 PM, Darin Adler via

Re: [webkit-dev] Remove the version labels in GitHub

2022-10-22 Thread Darin Adler via webkit-dev
> On Oct 22, 2022, at 12:11 PM, Caitlin Potter wrote: > > Would it make sense to, rather than referring to downstream browsers, have a > canonical WebKit version number that could be exposed in about:version or > something? A friendly semver-ish thing + short git hash could be a lot more >

Re: [webkit-dev] Remove the version labels in GitHub

2022-10-22 Thread Caitlin Potter via webkit-dev
Would it make sense to, rather than referring to downstream browsers, have a canonical WebKit version number that could be exposed in about:version or something? A friendly semver-ish thing + short git hash could be a lot more useful for doing things like bisecting. I think part of the reason

Re: [webkit-dev] Remove the version labels in GitHub

2022-10-22 Thread Kirsling, Ross via webkit-dev
: Saturday, October 22, 2022 11:43:51 PM To: Darin Adler Cc: 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 wrote: > Can we just get rid of all this? That would be nice. These lab

Re: [webkit-dev] Remove the version labels in GitHub

2022-10-22 Thread Michael Catanzaro via webkit-dev
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 webkit-dev@lists.webkit.org

[webkit-dev] Remove the version labels in GitHub

2022-10-22 Thread Darin Adler via webkit-dev
Hi folks. I understand it can be super critical to understand what version someone was testing when reporting a WebKit bug. But I, at least, haven’t found the version field at bugs.webkit.org useful in the 20+ years I have been working on this project. Now we have that same noise in GitHub.