Skip to content

Fix the "update with merge commit" button for non-checked-out PRs - #8847

Merged
Alex Ross (alexr00) merged 1 commit into
mainfrom
alexr00/amazing-rodent
Jul 15, 2026
Merged

Fix the "update with merge commit" button for non-checked-out PRs#8847
Alex Ross (alexr00) merged 1 commit into
mainfrom
alexr00/amazing-rodent

Commits

Commits on Jul 15, 2026