Make git push spawn a process instead of exec, so that we can scrape
progress output.