Re: [PATCH] BUG: git push on an empty clone segfaults.
- From
Petr Baudis <pasky@suse.cz>
- Date
- Apr 20, 2009, 20:46 UTC
- Message-ID
- <20090420204604.GF8940@machine.or.cz>
- In-Reply-To
- <alpine.DEB.1.00.0904201629280.6771@intel-tinevez-2-302>
On Mon, Apr 20, 2009 at 04:30:38PM +0200, Johannes Schindelin wrote:
Show 17 quoted lines
> 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