Skip to content

fix(gator): handle oversized PR diffs in review ledger - #4309

Merged
johntmyers merged 1 commit into
mainfrom
fix/4308-gator-large-diffs/johntmyers
Oct 8, 2026
Merged

johntmyers merged 1 commit into
mainfrom
fix/4308-gator-large-diffs/johntmyers

fix(gator): handle oversized PR diffs in review ledger

1f319c3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar