Re: [PATCH] BUG: git push on an empty clone segfaults.
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 20, 2009, 14:30 UTC
- Message-ID
- <alpine.DEB.1.00.0904201629280.6771@intel-tinevez-2-302>
- In-Reply-To
- <20090420135532.GC8940@machine.or.cz>
Hi,
On Mon, 20 Apr 2009, Petr Baudis wrote:
Show 8 quoted lines
> 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.
Ciao, Dscho