This repository may have multiple people or agents changing files at the same time. Keep branches small and avoid rewriting work that is not yours.
Use short, descriptive branches:
git switch -c docs/ci-and-upload-guidesFor Codex-created branches, prefer the codex/ prefix unless the task asks for another convention:
git switch -c codex/docs-ci-upload-guidesCheck the current state:
git status --short
git branch --show-currentIf there are unrelated modified files, leave them alone. If a file you must edit already has changes, read it first and preserve the existing intent.
Run the relevant checks before staging:
npm run lint
npm run checkStage only files you intentionally changed:
git add README.md docs/local-development.md docs/ci-gates.md docs/upload-modes.md docs/branch-push-workflow.mdCommit with a focused message:
git commit -m "docs: add development and CI guides"Push the current branch:
git push -u origin HEADOpen a pull request after the push. In the PR description, include:
- What changed.
- Which checks were run locally.
- Any known gaps or follow-up work.
- Do not use
git reset --hardto clean up a shared worktree. - Do not checkout a file to discard changes unless you created those changes or the owner asks you to.
- Prefer a small follow-up commit over force-pushing rewritten history on shared branches.
- If generated files change unexpectedly, verify which command produced them before staging.