Request:
- Make AGENTS.md explicitly require automatic pushes to the remote after commits.
Changes:
- Add a Git Workflow rule to push the current branch to its configured upstream remote after a successful commit.
- Add a reporting rule for missing upstream configuration or failed pushes.
Verification:
- Reviewed the updated Git Workflow section.
- Ran git diff --check.
Request:
- Delete the AGENTS.md rule that allowed pushing only when explicitly requested.
Changes:
- Remove the single Git Workflow bullet that restricted push behavior.
Verification:
- Reviewed the focused diff for AGENTS.md.
- Confirmed no remaining push-related text with rg.
Request:
- Review the project agent instructions and make the Git workflow explicitly automatic.
- Commit the project-local modification into the repository.
Changes:
- Add AGENTS.md to the repo.
- Rename the Git workflow section to emphasize automatic commits.
- Clarify that completed repository changes should be committed before the final response.
- Clarify that related project-local files such as .codex skills, schema, scripts, snapshots, memos, and documentation belong in the focused commit.
Verification:
- Reviewed the updated Git Workflow section with sed.
- Confirmed the expected automatic-commit language with rg.
- Checked the staged diff includes only AGENTS.md.
geometrybase