Minor fixes to git-gradual-push