Shorten default merge commit title #2843

When merging PRs with a merge commit, GitHub suggests this title:

Merge pull request #${number} from ${user}/${branch}

I suggest shortening this default to:

Merge PR #${number}

A similar feature, sync-pr-commit-title does something similar but just when squashing commits. This new feature could be named clean-merge-commit-title or shorten-merge-commit-title.

This issue replaces/follows #2768