Expand description
Diff fetching from GitHub Pull Requests and local git staging.
Provides fetch_pr_diff for retrieving PR diffs via the GitHub REST API
and fetch_local_diff for reading git diff --cached output.
Structs§
- Diff
Result - Result of a successful diff fetch operation.
Constants§
- DEFAULT_
CHUNK_ HEAD_ LINES - Default number of lines to preserve from the head when chunking a large diff.
- DEFAULT_
CHUNK_ TAIL_ LINES - Default number of lines to preserve from the tail when chunking a large diff.
Functions§
- chunk_
diff - Chunks a large diff by preserving the first N and last N lines.
- chunk_
diff_ with_ params - Chunks a large diff with explicit head and tail line counts.
- fetch_
file_ diff - Fetches diff content from a pre-existing file on disk.
- fetch_
local_ diff - Fetches the locally staged diff via
git diff --cached. - fetch_
pr_ diff - Fetches the diff for a GitHub Pull Request.