Git merge without a commit message

To get git to accept the default merge message, without opening an editor:

1
$ git pull --no-edit

This gets tiresome when you repeat the “git pull && git push” sequence often enough in your workflow.
I wrote a git alias to achieve this:

.gitconfig
1
2
[alias]
sy = !git pull --no-edit && git push