anthony.wen/cds-ai
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Require verification after git commit execution

Browse Source 
- update the git guide to require post-commit verification before reporting success
- document that commit verification must confirm git commit exited successfully, HEAD advanced, and the new commit appears in git log
- document that failed or non-created commits must be reported clearly instead of being claimed as successful
This commit is contained in:
anthony.wen
2026-03-26 11:03:20 -04:00
parent d60b8b9b18
commit dda0a0b4c0
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
git-guide.md
View File

@@ -25,6 +25,13 @@ This file records repo-specific git workflow preferences for `/home/aw/code/cds`
- Do not treat a request such as "give me the git commit" or "make the commit" as approval by itself. - Do not treat a request such as "give me the git commit" or "make the commit" as approval by itself.
- Only execute `git commit` after the user explicitly approves the displayed commit command. - Only execute `git commit` after the user explicitly approves the displayed commit command.
- If the user changes the requested commit message or scope after commands are shown, rebuild the proposal and wait for fresh approval. - If the user changes the requested commit message or scope after commands are shown, rebuild the proposal and wait for fresh approval.
- After executing `git commit`, always verify that the commit actually succeeded before reporting success.
- Verification must include checking that:
- `git commit` exited successfully
- `HEAD` advanced to a new commit
- the new commit appears in `git log --oneline -n 1`
- Do not claim a commit was created unless that verification has been completed.
- If `git commit` did not actually create a commit, report that clearly and leave the changes as uncommitted.
## Push Requests ## Push Requests
- When the user asks to push, use `git push -u origin main` by default unless the user explicitly asks for a different remote or branch. - When the user asks to push, use `git push -u origin main` by default unless the user explicitly asks for a different remote or branch.