gitremote-helpers.txt: document pushcert option
commitb9299a2bb15a2fe851d0a463d8c0567743960c61
authorDave Borowitz <dborowitz@google.com>
Wed, 19 Aug 2015 15:26:42 +0000 (19 11:26 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Aug 2015 19:41:38 +0000 (19 12:41 -0700)
tree20bd6f2b9fc20de4b7a0fdb377f9e592722ed40c
parent66697fe4bac58053187a4c013de33fd587929487
gitremote-helpers.txt: document pushcert option

Signed-off-by: Dave Borowitz <dborowitz@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/gitremote-helpers.txt