Feature: checkout and merge

It is a very often need to checkout a branch and them merge there 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.)