Fix cross-repo PR detection and push remote selection (#788)

1031a226f8Julius Marminge committed on 3/10/2026, 10:05:41 PM· committed by GitHubparentddd9887
9 files changedLine totals unavailable