Skip to content

feat: diffx-fetcher with leased, repo-scoped pull request fetches - #116

Merged
flexdinesh merged 1 commit into
github-pr-appfrom
github-pr-fetcher
Oct 25, 2026
Merged

flexdinesh merged 1 commit into
github-pr-appfrom
github-pr-fetcher

feat: GitHub pull request fetcher with leased, repo-scoped fetches

b7f48f1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
checks
succeeded Oct 25, 2026 in 1m 7s