doc: git-howto: Clarify comment about pushing series of commits