Request: Add merge-into-remote

[alessandro308]

Add a command to merge into remote branch, basically, something like:

git merge-into dev; git checkout dev; git push origin dev