make "git push -v" actually verbose