When both of these pull requests are sitting open in the backlog, they will both be tested with the main branch. Assuming they both pass, GitHub will happily present the Big Green Merge Button. Once ...

"githubPullRequests.queries": [ { "label": "Waiting For My Review", "query": "repo:${owner}/${repository} is:open review-requested:${user}" }, { "label": "Created By ...