Re: [PATCH RFC] new config option remote.<name>.pushexec

From: Brian Gernhardt <benji@silverinsanity.com>
Date: Jan 16, 2007, 16:27 UTC
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:

Show 15 quoted lines

> 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