document --exec for git-push