Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[git-webkit] Verify forks after creation #568

Closed
wants to merge 0 commits into from
Closed

[git-webkit] Verify forks after creation #568

wants to merge 0 commits into from

Conversation

JonWBedard
Copy link
Member

@JonWBedard JonWBedard commented May 9, 2022 •
edited by webkit-early-warning-system

28654bf

[git-webkit] Verify forks after creation
https://bugs.webkit.org/show_bug.cgi?id=240085
<rdar://problem/92978491 >

Reviewed by Stephanie Lewis.

* Tools/Scripts/libraries/webkitscmpy/setup.py: Bump version.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py: Ditto.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/setup.py:
(Setup.github): Check parent of fork, wait until fork is created before continuing.

Canonical link: https://commits.webkit.org/250423@main
git-svn-id: https://svn.webkit.org/repository/webkit/trunk@293986 268f45cc-cd09-0410-ab3c-d52691b4dbfc

@JonWBedard JonWBedard self-assigned this May 9, 2022
@JonWBedard JonWBedard added Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases WebKit Nightly Build labels May 9, 2022
@JonWBedard JonWBedard force-pushed the eng/git-webkit-Setup-fails-if-private-fork-creation-takes-too-long branch from f6021d1 to dda6e60 Compare May 9, 2022 19:43
@JonWBedard JonWBedard changed the title [git-webkit] Setup fails if private fork creation takes too long [git-webkit] Verify forks after creation May 9, 2022
@JonWBedard JonWBedard force-pushed the eng/git-webkit-Setup-fails-if-private-fork-creation-takes-too-long branch from dda6e60 to 86b87f4 Compare May 9, 2022 19:57
@JonWBedard JonWBedard added the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label May 9, 2022
@webkit-early-warning-system webkit-early-warning-system force-pushed the eng/git-webkit-Setup-fails-if-private-fork-creation-takes-too-long branch from 86b87f4 to 28654bf Compare May 9, 2022 20:05
@JonWBedard JonWBedard removed the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label May 9, 2022
@JonWBedard
Copy link
Member Author

Landed https://commits.webkit.org/250423@main

@JonWBedard JonWBedard deleted the eng/git-webkit-Setup-fails-if-private-fork-creation-takes-too-long branch May 19, 2022 23:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sundiamonde sundiamonde sundiamonde approved these changes

@aj062 aj062 Awaiting requested review from aj062

@darinadler darinadler Awaiting requested review from darinadler

Assignees

@JonWBedard JonWBedard

Labels
Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases
Projects
None yet
Milestone
No milestone
3 participants
@JonWBedard @sundiamonde @webkit-early-warning-system