deeplyoptional·vor 10 Jahren·discussThe PR UI does this. After resolving conflicts, the resulting merge commit will show just the resolution.