Merge branch 'tr/push-no-verify-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 27 Jun 2013 21:38:09 +0000 (14:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 27 Jun 2013 21:38:09 +0000 (14:38 -0700)
* tr/push-no-verify-doc:
Document push --no-verify

No differences found