Reproduction
- Create
main <- PR A <- PR B.
- Enable merge queue and "Require approval of the most recent reviewable push."
- Approve both PRs after their latest pushes.
- Merge the stack from PR B.
Expected
Both PRs merge, or the operation stops before either merges.
Actual
PR A merges. GitHub rebases PR B, invalidating its approval. PR B is not queued, and the merge dialog spins indefinitely.
Reproduction
main <- PR A <- PR B.Expected
Both PRs merge, or the operation stops before either merges.
Actual
PR A merges. GitHub rebases PR B, invalidating its approval. PR B is not queued, and the merge dialog spins indefinitely.