GitHub Community
[Bug] Merge Queue, PR passed checks, commit merged in, but PR remains open with no noticed of merge activity. #146212
Unanswered
AmyBernhoft
asked this question in
Pull Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Select Topic Area
Bug / Merge Queue / Issue
Body
Today we had a PR enter the merge queue and it pass all required status checks. There is no notice of the PR merging nor being kicked from the queue. The PR remains open, however, we can see the commit in our main branch. Looking at what I can see, I found the enqueued event, but cannot find the dequeued event for this PR. We now have a merged PR that is still open.
This happened 12/3/2024 11:09am PST. I am checking other commits from today, to see if any other PRs had this experience.
Beta Was this translation helpful? Give feedback.
All reactions