]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1ca788) | patch
Documentation: explain push.default option a bit more
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Tue, 24 Apr 2012 07:50:00 +0000 (09:50 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Apr 2012 19:11:58 +0000 (12:11 -0700)
commit185c0874b1adea696b47d2fb78aca9a282a86abb
tree5521a8e341ca7e51028d35ec01ded2daf97fce90tree | snapshot
parentd1ca788fcd34962a65924843ef1d0c773d565030commit | diff
Documentation: explain push.default option a bit more

The previous documentation was explaining _what_ the options were doing,
but were of little help explaining _why_ a user should set his default to
either of the options.

Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.