Feature: checkout and merge

It is a very often need to checkout a branch and them merge the branch that was before the checkout. Moreover after this is very often needed to push.

So please add the flags to `checkout`:

1. to merge the old branch immediately after checkout

2. to push after checkout

I repeatedly write:

git checkout stable && git merge main && git push && git checkout main

(I am not subscribed to this mailing list.)