quoted
If everyone hated the old behavior, old users should already be careful
about not git-pull'ing (without options) from any branch but master. So
they won't see any difference.
except for .git/config growing uncontrollably
While I am probably going to modify the patch to satisfy Junio, have you
noticed that "git branch -d" will delete the section, hence .git/config
will not be growing uncontrollably?
Paolo