docs: fast-forward local main after merging a pull request

AGENTS.md

@@ -24,6 +24,7 @@
 - 回复 Issue、PR 或提交 PR Review（含行内审查意见）时，使用对方正文或当前讨论的主要语言：英文用英文回复，中文用中文回复。
 - 对方明确指定沟通语言时，遵循其要求；中英混合或无法判断时，默认使用英文。
 - 不得因与仓库维护者的本地对话使用中文，就在英文 Issue 或 PR 中使用中文回复。
+- **合并后同步本地**：代理把 PR 合并进 `main` 后，若本地就在 `main` 且工作区干净，必须 `git fetch` 并快进到 `origin/main`，再结束本次任务。工作区不干净或不能快进时停下来说明，禁止 reset、rebase 或覆盖本地改动。同步代码不包括执行数据库迁移。
 
 ## GitHub Actions 与 Release 约束及流程