PRs skip merge queue if up-to-date

[bfops]

PRs should be able to skip the merge queue if they were based on latest master and nothing's ahead of them in the queue

[bfops]

#5381, but not linking it in the dev field so that we can confirm it works after merging