Merge branch 'tr/push-no-verify-doc'
commit3f261c092fc2c1d1b9c47c5118db141bd37a7709
authorJunio C Hamano <gitster@pobox.com>
Wed, 5 Jun 2013 21:56:48 +0000 (5 14:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 5 Jun 2013 21:56:48 +0000 (5 14:56 -0700)
tree4d9620c7bc2a01d6bcdabefa3ece2f5ab646d41f
parent8cb9b5f787957460e48c7b376f2c219b7130080d
parent90d32d1ffa36390177990cb92e4e2a68c5ec4092
Merge branch 'tr/push-no-verify-doc'

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

* tr/push-no-verify-doc:
  Document push --no-verify
Documentation/git-push.txt