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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html