Further refinements to git-gpush