Skip to content

Preserve hidden repositories in bulk reads - #541

Merged
tinder-maxwellelliott merged 1 commit into
Tinder:masterfrom
tamird:tamird/bulk-repository-reads
Oct 22, 2026
Merged

tinder-maxwellelliott merged 1 commit into
Tinder:masterfrom
tamird:tamird/bulk-repository-reads

Conversation

@tamird

@tamird tamird commented Oct 22, 2026 •

Copy link
Copy Markdown
Contributor

The bulk show_repo reads introduced in 998fb78 match selected canonical names, but hidden modules are selected by module key. Their records therefore disappear from large selections, breaking repository dependency paths.

Keep hidden module keys on the explicit path and append those records after the selected canonical records. Rebuild canonical results in selection order, exclude known failed extensions, and check cancellation before falling back to explicit reads.

The generation also repeated successful root mapping and Bazel version lookups and cloned collected repository targets on the successful ordinary query path. Reuse those lookups and move the targets into the result.

Codex for Tamir.

The bulk show_repo reads introduced in 998fb78 match selected canonical
names, but hidden modules are selected by module key. Their records
therefore disappear from large selections, breaking repository dependency
paths.

Keep hidden module keys on the explicit path and append those records
after the selected canonical records. Rebuild canonical results in
selection order, exclude known failed extensions, and check cancellation
before falling back to explicit reads.

The generation also repeated successful root mapping and Bazel version
lookups and cloned collected repository targets on the successful ordinary
query path. Reuse those lookups and move the targets into the result.

Codex for Tamir.
@tamird
tamird force-pushed the tamird/bulk-repository-reads branch from b547b11 to 0889a89 Compare October 22, 2026 19:16
@tamird tamird changed the title Read large repository selections in bulk Preserve hidden repositories in bulk reads Oct 22, 2026
@tinder-maxwellelliott
tinder-maxwellelliott merged commit b1d4bf3 into Tinder:master Oct 22, 2026
21 checks passed
@tamird
tamird deleted the tamird/bulk-repository-reads branch October 22, 2026 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants