From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 5 Jun 2013 21:56:48 +0000 (-0700)
Subject: Merge branch 'tr/push-no-verify-doc'
X-Git-Tag: v1.8.4-rc0~214
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=3f261c092fc2c1d1b9c47c5118db141bd37a7709;p=git-core%2Fgit.git

Merge branch 'tr/push-no-verify-doc'

"git push --[no-]verify" was not documented.

* tr/push-no-verify-doc:
  Document push --no-verify
---

3f261c092fc2c1d1b9c47c5118db141bd37a7709
diff --cc Documentation/git-push.txt
index d51481394,300314088..df5be268b
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@@ -9,9 -9,9 +9,9 @@@ git-push - Update remote refs along wit
  SYNOPSIS
  --------
  [verse]
 -'git push' [--all | --mirror | --tags] [-n | --dry-run] [--receive-pack=<git-receive-pack>]
 +'git push' [--all | --mirror | --tags] [--follow-tags] [-n | --dry-run] [--receive-pack=<git-receive-pack>]
  	   [--repo=<repository>] [-f | --force] [--prune] [-v | --verbose] [-u | --set-upstream]
- 	   [<repository> [<refspec>...]]
+ 	   [--no-verify] [<repository> [<refspec>...]]
  
  DESCRIPTION
  -----------