-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
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
> 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
>
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
: 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
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
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.
7 matches
Mail list logo