Petr Baudis <pasky@xxxxxxx> writes: > I still don't get what's wrong on what I'm proposing. I'm not seeing the > disadvantages, if there are any. The only thing I think there is is that I do not get what you are proposing ;-), since I am not paying full attention while at day-job. If you are proposing to root --use-separate-remote not at refs/remotes but refs/remotes/origin/, I think it makes kind of sense. It would make tons of sense _if_ dealing more than one remote repository is the norm, but otherwise you would have an extra level of directory refs/remotes which almost always have only one subdirectory 'origin' and nothing else, which is pointless. I am not sure if you are also advocating to map (somehow) origin to remotes/origin/master (or whatever branch remote's HEAD points at), but if so I am not quite sure what its semantics would be. Which remote branch would you pick (that would not necessarily be "master") and where are you going to record that and when. It all sounds to me complicating things unnecessarily. - : 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