Skip to content

chore: use .worktreeinclude for user Bazel config - #31271

Merged
anp-oai merged 1 commit into
mainfrom
codex/use-worktreeinclude-for-bazelrc
Jul 6, 2026
Merged

chore: use .worktreeinclude for user Bazel config#31271
anp-oai merged 1 commit into
mainfrom
codex/use-worktreeinclude-for-bazelrc

Conversation

@anp-oai

@anp-oai anp-oai commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Why

Codex worktrees need to inherit the ignored user.bazelrc file so Bazel keeps using local developer settings. .worktreeinclude expresses that copy declaratively, so the dedicated setup script is no longer needed.

What

  • add user.bazelrc to .worktreeinclude
  • remove the Python copy script and its environment setup hook

Validation

  • git diff --check
  • confirmed git check-ignore -v user.bazelrc matches .gitignore

@anp-oai
anp-oai marked this pull request as ready for review July 6, 2026 18:03
@anp-oai
anp-oai merged commit 9e24996 into main Jul 6, 2026
35 checks passed
@anp-oai
anp-oai deleted the codex/use-worktreeinclude-for-bazelrc branch July 6, 2026 23:12
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 6, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants