Repository navigation

fix(vcs): look up pull request clone URLs on the pull request's host - #15000

Merged

maria-rcks merged 11 commits into

pingdotgg:mainfrom

saphid:upstream-pr-clone-host

Nov 1, 2026

Merged

fix(vcs): look up pull request clone URLs on the pull request's host#15000
maria-rcks merged 11 commits into
pingdotgg:mainfrom
saphid:upstream-pr-clone-host

Commits on Oct 10, 2026
- fix(vcs): look up pull request clone URLs on the pull request's host
  github-actions[bot]
  committed
  9c340d0
Commits on Oct 14, 2026
- Merge origin/main into upstream-pr-clone-host
  saphid
  committed
  dcecb87
- test(vcs): check out pull requests from another host than the github.com checkout
  
  saphid
  and
  claude
  committed
  082613d
Commits on Oct 17, 2026
- chore: resolve merge conflicts with main
  saphid
  committed
  934b73c
Commits on Oct 19, 2026
- merge: integrate upstream main into upstream-pr-clone-host
  saphid
  committed
  7438651
Commits on Oct 20, 2026
- merge: preserve PR 15000 behavior on current main
  saphid
  committed
  8e49994
Commits on Oct 23, 2026
- fix: integrate current main while preserving PR 15000 behavior
  saphid
  committed
  57b7e48
- fix: integrate current main while preserving PR 15000 behavior
  saphid
  committed
  dcebdae
Commits on Oct 25, 2026
- fix(vcs): retain clone host routing on current main fixtures
  saphid
  committed
  30d76f8
Commits on Oct 31, 2026
- chore(vcs): merge current main into pull request host fix
  maria-rcks
  committed
  b79d2de
- Merge commit 'e5909e53c32a9d5b51caf6352d1f17fd73e86db7' into HEAD
  saphid
  committed
  0bbff7e