Skip to content

[pull] main from bazel-contrib:main - #743

Merged
pull[bot] merged 2 commits into
garymm:mainfrom
bazel-contrib:main
Sep 4, 2026
Merged

pull[bot] merged 2 commits into
garymm:mainfrom
bazel-contrib:main

Conversation

@pull

@pull pull Bot commented Sep 4, 2026 •

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Agent workflows create substantial disk and process overhead outside
the conversation directory, including Bazel server processes, output
bases, git worktrees, and feature branches. Without automated cleanup,
these resources accumulate across tasks.

Add the `conversation-done` skill and an async cleanup engine to safely
reclaim these resources when a conversation finishes. The tool shuts
down active Bazel servers, deletes matching output bases, and prunes
git worktrees and branches while enforcing safeguards for main repos,
canonical branches, and upstream remotes.
)

Consolidate most developer tools under //dev. //tools/private is
reserved for internal release management tooling.

Move sync_downloader_configs.py, update_deps, gazelle, and debug to
//dev. Update import paths, target visibility, generation markers,
pre-commit hooks, and developer documentation.

Work towards #4128
@pull pull Bot locked and limited conversation to collaborators Sep 4, 2026
@pull pull Bot added the ⤵️ pull label Sep 4, 2026
@pull
pull Bot merged commit ced38c3 into garymm:main Sep 4, 2026
3 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant