Merge pull request 'Document safer PR workflow rules' (#7 ) from chore/record-pr-workflow-safety into main

Reviewed-on: #7
Resolve AGENTS.md merge conflict with main
2026-02-17 04:31:22 +09:00 · 2026-02-17 04:30:50 +09:00 · 2026-02-17 04:28:54 +09:00
1 changed files with 7 additions and 0 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -67,9 +67,16 @@ Hard rule:
  - `git branch --set-upstream-to=origin/<branch> <branch>`
 - Create PR on Gitea:
  - `tea pr create --base main --head <branch> --title "<title>" --description "<body>"`
  - If PR body includes backticks (`` ` ``), slash commands, or markdown that can be shell-expanded, do not pass it directly in double quotes.
  - Preferred safe flow:
    - `cat > /tmp/pr_body.md <<'EOF'` ... `EOF`
    - `tea pr create --base main --head <branch> --title "<title>" --description "$(cat /tmp/pr_body.md)"`
  - If the body is malformed after creation, patch it with API:
    - `tea api -X PATCH repos/{owner}/{repo}/pulls/<number> -F body=@/tmp/pr_body.md`
 - Sync local main:
  - `git checkout main`
  - `git pull --ff-only`
  - When user confirms the PR is merged, always run this sync immediately to keep local `main` up to date before any next task.
 Safety:
 - Do not commit or print tokens in logs/docs.
Author	SHA1	Message	Date
jihoson	0a49032f29	Merge pull request 'Document safer PR workflow rules' (#7 ) from chore/record-pr-workflow-safety into main Reviewed-on: #7	2026-02-17 04:31:22 +09:00
jihoson	cf1a6cb620	Resolve AGENTS.md merge conflict with main	2026-02-17 04:30:50 +09:00
jihoson	909ef08e37	Document safe PR body flow and post-merge main sync	2026-02-17 04:28:54 +09:00