On Thu, Apr 15, 2010 at 3:00 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > I would rather think that "git push" should notice that */HEAD is a symref > and refrain from pushing it. Stated more precisely, > > - It is perfectly fine to do this: > > $ git push there HEAD:somebranch > > - But it does not make sense to push a symref via > > [remote "there"] > push = refs/*:refs/* > > to a bare repository that is used as a back-up mirror by including > refs/HEAD:refs/HEAD in the result of wildcard expansion. But nothing prevents the destination repo from having arbitrary symrefs. And there is no way for the source to know which destination refs may be symrefs and which are not. So it seems safer to me that the destination should ignore duplicates in the received list. No? j. -- 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