On 6/10/07, Junio C Hamano <gitster@xxxxxxxxx> wrote:
"Lars Hjemli" <hjemli@xxxxxxxxx> writes: > Hmm, maybe I should just rename [module] to [submodule] right now? It > would be better forward compatible with the proposed extension, it > would 'harmonize' the section names used in .gitmodules and > .git/config, and it would offer a clean break from what's currently > supported in 'master'. Yes, the difference between '[submodule]' vs '[module]' in .git/config and .gitmodules confused me while looking at your latest patch series. I am in favor of unifying them. We would not be breaking any released version if we harmonize them now.
Good, then I'll do it that way. And I'll drop the "unless otherwise noted, name=path" behaviour. If we later decide it would be useful we can always "re-add" it. -- larsh - 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
