sync-pr-commit-title compatible with default merges

[louisefindlay23]

Description

The existing sync-pr-commit-title feature is very useful to automate replacing the merge commit default title Merge pull request #3041 from achiengrhoda/Getting-started-with-Packet-Tracer which is long and cluttered with the PR title which is far more succinct and to the point.

However, it only works for squash and commit merges and not default merges. Having the ability to use this great feature for those who use default merges would be very useful and desireable.

Screenshot

Example URL

section-engineering-education/engineering-education#2896

[fregante]

That's how it worked initially but after some complaints we limited it to squash commits:

• sync-pr-commit-title renames PR to "Merge pull request #XXX from <branch>" #2713

There's also a similar request here with more discussion:

• Restore functionality from sync-pr-commit-title removed in #2738 #2768

Given that the workflow and expectations of different people vary, either we leave the default commit title (current situation) or add a button to copy the PR title on merges.

[louisefindlay23]

Thanks, Federico. I think it would be nice to have a button to do this.

Will close this issue in favour of #2768.