tree b72dbba8f5915686c8c10f6de501949003685164
parent 0501b29e7ae072e0b10ea9ddd913ec6d5975f690
author Mike Frysinger <vapier@google.com> 1599421881 -0400
committer Mike Frysinger <vapier@google.com> 1599630367 +0000

init: use the remote default manifest branch

Instead of hardcoding "master" as our default, use the remote server's
default branch instead.  For most people, this should be the same as
"master" already.  For projects moving to "main", it means we'll use
the new name automatically rather than forcing people to use -b main.

For repositories that never set up a default HEAD, we should still use
the historical "master" default.

Bug: https://crbug.com/gerrit/13339
Change-Id: I4117c81a760c9495f98dbb1111a3e6c127f45eba
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/280799
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Tested-by: Mike Frysinger <vapier@google.com>