From: Johannes Schindelin Date: Tue, 22 Jan 2008 01:21:56 GMT Subject: Re: [ANNOUNCE] GIT 1.5.4-rc4 Message-ID: In-Reply-To: Hi, On Mon, 21 Jan 2008, Steffen Prohaska wrote: > I haven't pushed the branches because repo.or.cz seems to have problems. Can you elaborate? What kind of problems? Ciao, Dscho