Add a --dry-run option to git-push.