Ok so there was some movement with the result that no one uses what was set up. Presumably because git developers don't want a bug tracker. So how can I ensure that this particular issue doesn't get lost? Is there no way except hope that people get involved in fixing it straight away, and fix it straight away before they forget about it? We worked around this on the KDE side by forbidding pushing any ref with the name HEAD to the remote, but it's still a git bug. On 1/20/11, Thomas Rast <trast@xxxxxxxxxxxxxxx> wrote: > Stephen Kelly wrote: >> Why does git not have a bug tracker? > > http://thread.gmane.org/gmane.comp.version-control.git/136500 > > > -- > Thomas Rast > trast@{inf,student}.ethz.ch > -- 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