From: Johannes Schindelin Date: Mon, 18 Feb 2008 17:35:39 GMT Subject: Re: [PATCH] http-push: push : deletes remote branch Message-ID: In-Reply-To: <20080218164423.GA8832@localhost> Hi, On Mon, 18 Feb 2008, Clemens Buchacher wrote: > This mirrors current ssh/git push syntax. > --- > > The previous patch gives the wrong branch name in the failure message. Oh? ref->peer_ref is not the remote side? Ciao, Dscho