make git-push a bit more verbose