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-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html