Hi, On Fri, 23 Jan 2009, Sverre Rabbelier wrote: > On Fri, Jan 23, 2009 at 03:42, Johannes Schindelin > <Johannes.Schindelin@xxxxxx> wrote: > > > HTTP being 2nd class citizen anyway (and we can always fix it after > > Mike's cleanups), I'd say this patch is ready to roll. > > Aside from that, am I correct in asserting that in the "worst case" > scenario the repo is cloned instead of erroring out, and a simple "git > fetch" would fix the issue? Probably. Note, however, that scripts might rely on a fail if there were problems. But then, scripts have no business cloning repositories (fetching, yes. But cloning?) 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