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,
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
> 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
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
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
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
6 matches
Mail list logo