Skip to content

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

Merged
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
alexr00 merged 1 commit into
mainfrom
alexr00/amazing-rodent

Commits

Commits on Jul 15, 2026