Ævar Arnfjörð Bjarmason <ava...@gmail.com> writes: > We already have to deal with this special case of origin/HEAD > being re-pointed in a repository that we "clone", so we would just > do whatever happens to a repository that's cloned.
OK. Not visiting that issue while we discuss this "origin/HEAD is useful, so create it even for non-initial-clone case" topic makes it simpler to discuss.