Re: [webkit-dev] WebKit and GitHub Update

[Michael Catanzaro via webkit-dev]

I guess I should create a feedback issue:

https://bugs.webkit.org/show_bug.cgi?id=239124


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

Re: [webkit-dev] WebKit and GitHub Update

[Michael Catanzaro via webkit-dev]

On Mon, Apr 11 2022 at 03:55:36 PM -0700, Jonathan Bedard via 
webkit-dev  wrote:

start creating some pull requests!


Hi,

For pull requests to find interested reviewers, we need a way to 
subscribe to labels. E.g. I want to receive notifications for pull 
requests with a WebKitGTK or WPE label. Another developer might want to 
watch Network, Multimedia, JavaScriptCore, Web Inspector, etc. This is 
super easy to do with GitLab, but GitHub does not have this 
functionality at all. I believe when we previously discussed this 
problem, somebody suggested running a bot that would allow us to 
emulate this functionality by subscribing to notifications from the 
bot. Does anybody remember what this bot was, or have another concrete 
suggestion on how to make this work?


(This will be a problem for issues as well, if we eventually move from 
Bugzilla to GitHub issues, but I imagine the solution would be the 
same.)


Michael


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

[webkit-dev] WebKit and GitHub Update

[Jonathan Bedard via webkit-dev]

It is now the time to start widespread testing of pure git checkouts for 
WebKit. Commit queue has been reimplemented for GitHub, so you don't need a 
Subversion or git-svn checkout for changes to trunk/main that aren’t modifying 
SVN properties.

Over the past few months, we’ve been working on transitioning the WebKit 
project away from Subversion and to `git` hosted by GitHub. While we still have 
a few weeks of work left, we wanted to announce that the WebKit project now 
supports GitHub pull-requests for developing, reviewing and landing changes. 
We’d like to encourage folks to try out these new workflows to identify bugs 
and provide feedback.

To get started, migrate your local WebKit checkouts to the GitHub version 
(documentation is available at https://github.com/WebKit/WebKit/wiki/Migration 
), review our GitHub 
contribution documentation at 
https://github.com/WebKit/WebKit/wiki/Contributing#contributing-code 
, and 
start creating some pull requests!

We will be collecting bugs and feedback under our umbrella bug, 
https://bugs.webkit.org/show_bug.cgi?id=239082 
.

It is worth noting that while we are currently displaying EWS results via 
GitHub’s native checks UI, we have a plan underway to add a dynamic comment 
belonging to EWS that will contain information similar to the bubbles on 
bugs.webkit.org . 

Lastly, we have no plans yet to deprecate patch workflows.  As mentioned in the 
migration documentation, `webkit-patch` will continue to work inside GitHub 
checkouts, so it is possible to use both the pull-request workflow and patch 
workflow from the same checkout.

Jonathan Bedard
WebKit Continuous Integration

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