Hugo Nijhuis c815f2ae6f Fix PR diff documentation to use git instead of tea ...

The tea CLI doesn't have a command to output PR diff content directly.
The -f diff flag only returns a URL. Updated docs to use tea pulls
checkout followed by git diff main...HEAD.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

2026-01-01 19:00:30 +01:00

..

AGENT.md

Fix PR diff documentation to use git instead of tea

2026-01-01 19:00:30 +01:00