git-howto: partial rewrite of the push checklist to make it match sanity & reality.