On Jan 11, 2008 10:25 AM, Jakub Narebski <jnareb@xxxxxxxxx> wrote: > > Mark, if this change is mainly about the fact that git doesn't allow > to specify default remote to fetch for detached HEAD (and submodules > use detached HEAD), why not provide "branch.HEAD.remote" etc., which > would be used _only_ if we are on detached HEAD (i.e. branch has no > name). > Practically speaking, this would just change the name of the config variable (from remotes.default to branch.HEAD.remote). However, this value is used *whenever* the current branch does not have corresponding branch.<name>.remote, and that is not restricted to detached heads, it applies anytime the current HEAD is not a tracking branch. So, I believe remotes.default better reflects this generality than does branch.HEAD.remote. Mark - 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
