Thanks to visit codestin.com
Credit goes to github.com

Skip to content

PubSub message was missed in the merge queue #167861

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
Open
jtmcdole opened this issue Apr 26, 2025 · 1 comment
Open

PubSub message was missed in the merge queue #167861

jtmcdole opened this issue Apr 26, 2025 · 1 comment
Labels
P2 Important issues not at the top of the work list team-infra Owned by Infrastructure team triaged-infra Triaged by Infrastructure team

Comments

@jtmcdole
Copy link
Member

The following webhook from GitHub was put on the pubsub and never heard from again.

This caused the Merge Queue to stall.

We removed the stalled commit and recovered by rebuilding the other PRs; but we should investigate further why we missed this critical message.
@jtmcdole jtmcdole added team-infra Owned by Infrastructure team P1 High-priority issues at the top of the work list P2 Important issues not at the top of the work list and removed P1 High-priority issues at the top of the work list labels Apr 26, 2025
@jtmcdole
Copy link
Member Author

FYI #167685 @Piinks

@matanlurey matanlurey added the triaged-infra Triaged by Infrastructure team label May 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
P2 Important issues not at the top of the work list team-infra Owned by Infrastructure team triaged-infra Triaged by Infrastructure team
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@matanlurey @jtmcdole