Johannes Schindelin wrote: >> * when a branch config file section refers to a branches/* remote, the >> merge setting is used (if one is given), even though this isn't useful >> either way. > > Maybe this is the right time to cut off branches/* and remotes/*? We should read branches/* and remotes/* for a long time; even if people are using new version of git, their repositories are not necessarily converted (and IIRC there is only script for remotes -> config, in contrib, not in core git). -- Jakub Narebski Warsaw, Poland ShadeHawk on #git - 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
