Issue #6107 wontfix
Enhance 'merge a pull request'
I miss the following when merging a pull request:
- an equivalent of 'git merge --squash' to merge the pull request as one commit without pulling in its development history
- an option to modify the merge message ('git merge -m "..."')
- an option to change the merge strategy and merge strategy options ('git merge -s ... -X ...')