"Michael S. Tsirkin" <mst@xxxxxxxxxxxxxx> writes: > On a more theoretical level, in a shared repository > development style, one might imagine several people who want > the branch to be called differently. A shared repository in git context usually means the repository "everybody pushes into and pulls _from_". We are talking about pulling into a repository -- and even if you are using a shared repository you do not share a repository you pull into. A shared repository style" does not mean anarchy; helping to name the same thing with multiple branch names at the central site is not something we would want to encourage anyway. - 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