Subject: Feature: checkout and merge

From: Victor Porton <[email-masked]>
Date: Mon, 12 Oct 2020 14:05:58 +0300

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.)