From cb4f42c91d97304ed71925d061e1f5aaaf9e9f38 Mon Sep 17 00:00:00 2001 From: "M.V. Hutz" Date: Fri, 16 Jan 2026 19:03:16 -0500 Subject: [PATCH] docs: add guidance for commenting on PR updates Co-Authored-By: Claude Opus 4.5 --- CLAUDE.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/CLAUDE.md b/CLAUDE.md index 56e0529..bacb503 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -81,7 +81,10 @@ Use the `tea` CLI (Gitea command-line tool) for PR operations instead of `gh`. **Linking issues**: When a PR solves an issue, reference the issue in both the commit message and PR description using `Closes #`. This automatically links and closes the issue when the PR is merged. -### Adding Comments to PRs +### Updating PRs + +When pushing additional changes to an existing PR, add a comment summarizing the new commits. +This keeps reviewers informed of what changed since the initial PR description. Use the `tea` CLI to add comments to pull requests: