diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-12-11 11:36:54 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-12-13 15:53:50 -0800 |
commit | 1296cbe4b4675f429eb20b85bb86ec61546103fb (patch) | |
tree | 6ed602daf1c1885d46ec61b079aa6fb9ea3c729c /generate-configlist.sh | |
parent | Seventh batch (diff) | |
download | tgif-1296cbe4b4675f429eb20b85bb86ec61546103fb.tar.xz |
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>
Diffstat (limited to 'generate-configlist.sh')
0 files changed, 0 insertions, 0 deletions