Skip to content

build: deduplicate sub-workspace downloader configs - #4467

Merged
rickeylev merged 1 commit into
bazel-contrib:mainfrom
rickeylev:add_downloader_mirror_config
Nov 11, 2026
Merged

rickeylev merged 1 commit into
bazel-contrib:mainfrom
rickeylev:add_downloader_mirror_config

Conversation

@rickeylev

Copy link
Copy Markdown
Collaborator

Maintaining 23 duplicate copies of downloader_config.cfg across
example and integration test sub-workspaces adds file churn whenever
mirror rules change.

Delete the redundant sub-workspace downloader_config.cfg files and
point each sub-workspace's .bazelrc to its parent module's
downloader_config.cfg (//:downloader_config.cfg,
gazelle/downloader_config.cfg, or
sphinxdocs/downloader_config.cfg). Include downloader_config.cfg
in //:distribution so tests/integration sandboxes can resolve it.

@rickeylev

Copy link
Copy Markdown
Collaborator Author

An AI coding agent assisted with authoring this pull request. The human author (@rickeylev) will review all feedback and either respond directly or review and approve any agent-assisted responses and changes before they are posted.

This is an automatically generated agent comment.

Maintaining 23 duplicate copies of `downloader_config.cfg` across
example and integration test sub-workspaces adds file churn whenever
mirror rules change.

Delete the redundant sub-workspace `downloader_config.cfg` files and
point each sub-workspace's `.bazelrc` to its parent module's
`downloader_config.cfg` (`//:downloader_config.cfg`,
`gazelle/downloader_config.cfg`, or
`sphinxdocs/downloader_config.cfg`). Include `downloader_config.cfg`
in `//:distribution` so `tests/integration` sandboxes can resolve it.
@rickeylev
rickeylev force-pushed the add_downloader_mirror_config branch from f61e701 to bc842fa Compare November 11, 2026 01:34
@rickeylev
rickeylev marked this pull request as ready for review November 11, 2026 04:53
@rickeylev
rickeylev merged commit 05e93bc into bazel-contrib:main Nov 11, 2026
15 checks passed

@dougthor42 dougthor42 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yay thanks!

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