From: Brian Gernhardt <benji@silverinsanity.com>
Date: Tue, 16 Jan 2007 16:27:05 GMT
Subject: Re: [PATCH RFC] new config option remote.<name>.pushexec
Message-ID: <E8FAB100-0E5B-4C3E-A0AB-34699CBBD148@silverinsanity.com>
In-Reply-To: <Pine.LNX.4.63.0701161614070.22628@wbgn013.biozentrum.uni-wuerzburg.de>


On Jan 16, 2007, at 10:16 AM, Johannes Schindelin wrote:

> 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.

It should be documented somewhere so that for the few odd cases where  
you need it you can find it.  The most likely case I can think of is  
an SSH push where git isn't in your path for some reason.

Undocumented options are a bane to users.  Document everything, and  
put BIG WARNINGS on things that shouldn't be used.  Or put them in  
their own man page.

~~ Brian