Re: [PATCH RFC] new config option remote.<name>.pushexec
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 16, 2007, 15:16 UTC
- 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