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

2022-11-20 Thread Kirsling, Ross via webkit-dev
ebkit-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,

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 webkit-dev

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 > use

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 t

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

2022-10-22 Thread Kirsling, Ross via webkit-dev
via webkit-dev Sent: 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

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 https://lists.we