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

[Kirsling, Ross via webkit-dev]

Right, I thought that was the point of the above discussion so I was surprised 
to see that the prompt hasn't been removed.

From: Yusuke Suzuki via webkit-dev 
Sent: Monday, November 21, 2022 12:51:42 PM
To: WebKit Development 
Cc: Darin Adler 
Subject: Re: [webkit-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, at 2:38 PM, Darin Adler via webkit-dev 
 wrote:

A couple days ago I created a pull request for part of this:


<6434.png>
Don't convert the bugs.webkit.org version to a label when creating a pull 
request by darinadler · Pull Request #6434 · 
WebKit/WebKit
github.com

Anyone interested in reviewing?

— Darin
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

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

[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 
>  wrote:
> 
> A couple days ago I created a pull request for part of this:
> 
> https://github.com/WebKit/WebKit/pull/6434
> Anyone interested in reviewing?
> 
> — Darin
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev