chore: add dev branch policy to AGENTS.md

- Document that dev is the default working branch
- main is reserved for stable/production merges only
This commit is contained in:
Developer
2026-06-03 08:51:34 +00:00
parent b39d6ce5f4
commit 6ec5179408
4 changed files with 434 additions and 414 deletions
+7
View File
@@ -85,6 +85,13 @@ Before completion, report:
Do not claim completion without verification evidence.
## Git branch policy
- **Default working branch:** `dev` — all commits and pushes target `dev` unless the user explicitly requests otherwise.
- `main` is the stable/production branch; merge to `main` only when explicitly instructed.
- After committing, push to `origin/dev`.
- If `dev` does not exist locally, create it from `main` or fetch it from origin.
## Git workflow
### Auto-commit on spec completion