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

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