Hi, On Sun, 22 Jul 2007, Daniel Barkalow wrote: > On Sun, 22 Jul 2007, Johannes Schindelin wrote: > > > A word of warning: switching to _same_ branch that is checked out in > > the other repository is asking for trouble. You are really working not > > only on the same object database, but also the same (i.e. not copied) > > refs namespace. > > It's probably time to revive Junio's patch for keeping the > fully-dereferenced value of HEAD in the index, to make this safer. Yeah, probably. Anyway, I will probably run with 'master'+this patch until 1.5.3 is released. Ciao, Dscho - 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
