Details
-
Suggestion
-
Resolution: Duplicate
Description
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 ...'