Matthias Sohn 927deed5a5 init: add config option to set default for the initial branch name ... We introduced the option --initial-branch=<branch-name> to allow initializing a new repository with a different initial branch. To allow users to override the initial branch name more permanently (i.e. without having to specify the name manually for each 'git init'), introduce the 'init.defaultBranch' option. This option was added to git in 2.28.0. See https://git-scm.com/docs/git-config#Documentation/git-config.txt-initdefaultBranch Bug: 564794 Change-Id: I679b14057a54cd3d19e44460c4a5bd3a368ec848 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>		2021-02-22 23:11:45 +01:00
..
org/eclipse/jgit/pgm/internal	init: add config option to set default for the initial branch name	2021-02-22 23:11:45 +01:00
log4j.properties	Changed default log4j log level from "WARNING" to "WARN"	2015-08-11 04:05:02 -04:00