[Issue #8] Fix gitea skill documentation for PR diff command #14
Reference in New Issue
Block a user
Delete Branch "issue-8-fix-pr-diff-docs"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
tea pulls <number> -f diffcommandtea pulls checkout+git diff main...HEADThe tea CLI's
-f diffflag only returns a URL to the diff, not the actual diff content. There's no tea command to output diff content directly.Test plan
Closes #8
🤖 Generated with Claude Code
AI Code Review
Summary
Documentation fix correctly replaces the non-functional
tea pulls -f diffcommand with the proper two-step approach usingtea pulls checkout+git diff. The changes are accurate and improve both the gitea skill documentation and code-reviewer agent instructions.Findings
Code Quality
Potential Bugs
Security Concerns
Style Notes
Test Coverage
Verdict
LGTM
This is a straightforward documentation fix that addresses a real issue (the -f diff flag returns a URL, not content). The corrected approach using checkout + git diff is the proper method for retrieving PR diffs with tea CLI. Ready to merge once the test plan checklist is completed.