WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
238959
[Merge-Queue] Add PushCommitToWebKitRepo
https://bugs.webkit.org/show_bug.cgi?id=238959
Summary
[Merge-Queue] Add PushCommitToWebKitRepo
Jonathan Bedard
Reported
2022-04-07 14:24:38 PDT
merge-queue needs to push commits to the WebKit repo. This process involves canonicalizing those commits (adding identifiers), running `git svn dcommit`, updating the associated pull-request with whatever we just landed then finally closing the relevant bug and pull request. The "updating the associated pull-request" is the most difficult step, because we need to re-canonicalize the landed commit since `git svn` will have added a subversion revision into our commit, which will change the commit hash.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-04-07 14:24:53 PDT
<
rdar://problem/91443987
>
Jonathan Bedard
Comment 2
2022-04-07 14:26:54 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/263
EWS
Comment 3
2022-04-07 15:59:46 PDT
Committed
r292576
(
249414@main
): <
https://commits.webkit.org/249414@main
> Reviewed commits have been landed. Closing PR #263 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug