git-push: make git push --porcelain print "Done"