On Saturday 25 November 2006 00:03, Lars Hjemli wrote: > This adds a '--rename' option to git branch. If specified, branch > creation becomes branch renaming. This probably also should rename all config keys branch.<oldname>.* into branch.<newname>.* Josef - 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