On Mon, Apr 20, 2009 at 04:30:38PM +0200, Johannes Schindelin wrote: > On Mon, 20 Apr 2009, Petr Baudis wrote: > > > On Mon, Apr 20, 2009 at 12:55:10PM +0200, Johannes Schindelin wrote: > > > I fetched from repo.or.cz and tested with 'master', and it was broken. > > > Apparently git://repo.or.cz/git.git is lagging behind by 5 days. > > > Pasky? > > > > yes, I noticed that the mirroring got hanging on some dead repository > > earlier today and restarted it, but it might take a while until a full > > mirror cycle refreshes everything. > > I always wondered why it should make sense to have a mirror git.git, and > in addition a repository alt-git.git that Junio pushes to. > > Maybe it is time to fix that? > > I mean, I am hardly a Git newbie, and even I got burnt. Sure, I can fix that, making alt-git.git a soft-link to git.git (or, specifically, making refs/ and objects/ symlinks). Junio even might not have to change his push scripts. ;-) -- Petr "Pasky" Baudis The average, healthy, well-adjusted adult gets up at seven-thirty in the morning feeling just terrible. -- Jean Kerr -- 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