From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 16 Jan 2007 15:16:55 GMT
Subject: Re: [PATCH RFC] new config option remote.<name>.pushexec
Message-ID: <Pine.LNX.4.63.0701161614070.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20070116150259.GA2439@cepheus>

Hi,

On Tue, 16 Jan 2007, Uwe Kleine-König wrote:

> git push --exec=... is fine, but having it to specify every time is
> annoying.

What would you specify? The only sensible thing would be "--exec=blabla" 
where "blabla" is a workalike to git-receive-pack.

IMHO this is just an obscure option for obscure _really_ low-level git 
debugging, so it should not even be mentioned in the man page, let alone 
encouraged.

Ciao,
Dscho