diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-06-24 14:46:34 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-06-24 09:14:21 -0700 |
| commit | 0cc1b475bbcc530c5429c741fbcfdc2730d27223 (patch) | |
| tree | 5bd41c7715789e28f0ec109e95d31d500e445845 /mergetools/opendiff | |
| parent | init: allow setting the default for the initial branch name via the config (diff) | |
| download | tgif-0cc1b475bbcc530c5429c741fbcfdc2730d27223.tar.xz | |
clone: use configured default branch name when appropriate
When cloning a repository without any branches, Git chooses a default
branch name for the as-yet unborn branch.
As part of the implicit initialization of the local repository, Git just
learned to respect `init.defaultBranch` to choose a different initial
branch name. We now really want that branch name to be used as a
fall-back.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'mergetools/opendiff')
0 files changed, 0 insertions, 0 deletions