Hi, On Thu, Jan 20, 2011 at 1:14 PM, Stephen Kelly <steveire@xxxxxxxxx> wrote: > Stephen Kelly wrote: >> 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? Can you list a series of steps to reproduce this? > Why does git not have a bug tracker? Because it's not needed. If you have an issue, post the issue as you would file a bug: Which version of git? Which kind of network transport was used? Is this reproducible? Chances are, if this is reproducible in the latest version, someone would fix it soon enough. If not, and it's important to you, you would ping back. If other people find this issue, they would send another email. In fact, if you really want to help, you could clone the latest 'master' to see if this still happening, narrow down the steps needed to reproduce this, write a test to trigger it and send a patch. Certainly, a test case that constantly fails would be a constant remainder that there is a bug. Cheers. -- Felipe Contreras -- 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