From: Victor Porton <porton@narod.ru>
Date: Mon, 12 Oct 2020 11:05:30 GMT
Subject: Feature: checkout and merge
Message-ID: <1884b456-e80a-c0f1-775b-1f517d82ad6c@narod.ru>

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