Resolve registered primary paths to managed repo identities in fanout - #12002
Resolve registered primary paths to managed repo identities in fanout#12002chubes4 wants to merge 3 commits into
Conversation
Homeboy Results —
|
|
CI prerequisite update: this branch now merges #12001 non-destructively because current AI assistance: OpenAI gpt-5.6-sol via OpenCode identified the prerequisite and performed the non-destructive branch update under human direction. Chris Huber remains responsible for the change. |
|
Superseded by #12012, which landed registered primary-path resolution on main. AI assistance disclosure: OpenAI gpt-5.6-sol via OpenCode was used to verify patch equivalence and reconcile the PR queue. |
Summary
homeboy-coreand document the accepted--repoformsVerification
cargo fmt --all -- --checkcargo test --locked -p homeboy-core registered_primary_path_resolution_is_exact_and_canonical --libcargo test --locked -p homeboy-core registered_primary_path_resolution_rejects_related_and_ambiguous_checkouts --libcargo test --locked -p homeboy-cli cook_batch_repo_normalization_accepts_slugs_and_registered_primary_paths --libCloses #11984.
AI Assistance
OpenAI gpt-5.6-sol via OpenCode analyzed the primary-path failure, implemented the shared resolver and fanout integration, and reviewed and verified the patch under human direction. Chris Huber remains responsible for every line.