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.

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

[merge-queue] Should remove safe-merge-queue label when landing #19925

Conversation

@briannafan briannafan self-assigned this Nov 3, 2023
@briannafan briannafan added the Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases label Nov 3, 2023
@webkit-ews-buildbot webkit-ews-buildbot added the merging-blocked Applied to prevent a change from being merged label Nov 3, 2023
@briannafan briannafan removed the merging-blocked Applied to prevent a change from being merged label Nov 3, 2023
@briannafan briannafan force-pushed the eng/merge-queue-Should-remove-safe-merge-queue-label-when-landing branch from 5a89082 to 9338027 Compare November 3, 2023 19:19
@briannafan briannafan added the safe-merge-queue Applied to automatically send a pull-request to merge-queue after passing EWS checks label Nov 3, 2023
@webkit-ews-buildbot webkit-ews-buildbot added merge-queue Applied to send a pull request to merge-queue and removed safe-merge-queue Applied to automatically send a pull-request to merge-queue after passing EWS checks labels Nov 3, 2023
@webkit-ews-buildbot
Copy link
Collaborator

Safe-Merge-Queue: Build #2292.

https://bugs.webkit.org/show_bug.cgi?id=264008
rdar://problem/117857296

Reviewed by Jonathan Bedard.

Added safe-merge-queue to list of labels to remove.

* Tools/CISupport/ews-build/steps.py:
(RemoveLabelsFromPullRequest):

Canonical link: https://commits.webkit.org/270216@main
@webkit-commit-queue webkit-commit-queue force-pushed the eng/merge-queue-Should-remove-safe-merge-queue-label-when-landing branch from 9338027 to 47df017 Compare November 4, 2023 00:23
@webkit-commit-queue
Copy link
Collaborator

Committed 270216@main (47df017): https://commits.webkit.org/270216@main

Reviewed commits have been landed. Closing PR #19925 and removing active labels.

@webkit-commit-queue webkit-commit-queue merged commit 47df017 into WebKit:main Nov 4, 2023
@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Nov 4, 2023
@briannafan briannafan deleted the eng/merge-queue-Should-remove-safe-merge-queue-label-when-landing branch December 12, 2023 18:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Tools / Tests Tools in the Tools directory, build issues, test infrastructure, and bugs in test cases
Projects
None yet
5 participants