diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-06-24 17:46:34 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-06-24 19:14:21 +0300 |
commit | 0cc1b475bbcc530c5429c741fbcfdc2730d27223 (patch) | |
tree | 5bd41c7715789e28f0ec109e95d31d500e445845 /mem-pool.h | |
parent | 8747ebb7cde9e90d20794c06e6806f75cd540142 (diff) |
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 'mem-pool.h')
0 files changed, 0 insertions, 0 deletions