projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b291b0a) | patch
init: document `init.defaultBranch` better
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 11 Dec 2020 11:36:54 +0000 (11:36 +0000)
committerJunio C Hamano <gitster@pobox.com>
Sun, 13 Dec 2020 23:53:50 +0000 (15:53 -0800)
commit1296cbe4b4675f429eb20b85bb86ec61546103fb
tree6ed602daf1c1885d46ec61b079aa6fb9ea3c729ctree | snapshot
parentb291b0a628020eedb10b6236d87fe25d295cea81commit | diff
init: document `init.defaultBranch` better

Our documentation does not mention any future plan to change 'master' to
other value. It is a good idea to document this, though.

Initial-patch-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-init.txt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.