mirror of
https://github.com/stablyai/orca.git
synced 2026-11-15 18:37:24 +00:00
The project catalog keys a repo by its first network remote (upstream, origin, then the rest), but GitHub issue and PR lookups only read the remotes named origin and upstream. A repo whose origin is a local bare repo and whose GitHub remote has another name showed as GitHub-backed yet Tasks said no GitHub source was detected. Origin's role now falls to the same remote the project identity picks. Fixes #42102