add --porcelain option to git-push