Stephen Kelly wrote: > > Hi, > > On Friday we had an issue where a developer pushed a branch called HEAD to > the remote server. The result was that other developers could not pull or > push. Does anyone have any thoughts/response on this? Why does git not have a bug tracker? Steve. -- 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