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