Files
orca/src/main/github
YiGeon(박이건)andNeil ae811d016d fix(github): keep same-repo PRs when origin uses a renamed repository's old URL (#35688)
GitHub serves a renamed repository under its old name, so branch discovery
finds the PR through a stale origin URL, then rejects it because the PR
reports the new head repository name. Accept the PR when the queried
repository is origin itself and GitHub reports it as a same-repository PR,
and share that same-repository check with the cached-number lookup path.

Fixes #35687

Co-authored-by: Neil <neil@stably.ai>
2026-10-28 23:08:42 -07:00
..