If the branch a PR is targeting is owned by a different remote than the PR was made against, we shouldn't let merge-queue land the change. This is most relevant for branches that are actually owned by origin and remotes that may be non-public, as pushing to an origin-owned branch would either break syncing or publish changes that may be intended to remain hidden.
<rdar://problem/97225367>
Pull request: https://github.com/WebKit/WebKit/pull/2528
Pull request: https://github.com/apple/WebKit/pull/16
Committed 252584@main (038c4c107f86): <https://commits.webkit.org/252584@main> Reviewed commits have been landed. Closing PR #2528 and removing active labels.
Re-opening for pull request https://github.com/WebKit/WebKit/pull/2561
Committed 252614@main (59ee02e5c6f4): <https://commits.webkit.org/252614@main> Reviewed commits have been landed. Closing PR #2561 and removing active labels.