pub fn pull_diff(
ctx: &Ctx,
root: &Path,
number: u64,
) -> Result<(String, String), String>Expand description
A pull request’s diff against its merge base and its head commit,
fetched read-only (no checkout of the contributor’s branch, no CI
token): what speccoder bug --candidate pr:N judges.
§Errors
No repository, not signed in, or GitHub’s reason.