Skip to content

fix(grug): editing a PR body no longer throws away a finished Elder review - #810

Merged
quadseven merged 2 commits into
mainfrom
fix/773-intent-edit-stalls-elder
Aug 1, 2026
Merged

fix(grug): editing a PR body no longer throws away a finished Elder review#810
quadseven merged 2 commits into
mainfrom
fix/773-intent-edit-stalls-elder

fix: editing a PR body no longer throws away a finished review

5dd190e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar