make --exec=... option to git-push configurable
authorUwe Kleine-König <zeisberg@informatik.uni-freiburg.de>
Fri, 19 Jan 2007 12:46:16 +0000 (13:46 +0100)
committerJunio C Hamano <junkio@cox.net>
Sat, 20 Jan 2007 01:54:33 +0000 (17:54 -0800)
commit060aafc11fb6140f1b33326f03e70dad5762a624
tree948eefea048d8d12e62a35cda87222140dd52a30
parent18bd8821cace2f830e34574df6df30e072d0ed40
make --exec=... option to git-push configurable

Having to specify git push --exec=... is annoying if you cannot have
git-receivepack in your PATH on the remote side (or don't want to).

This introduces the config item remote.<name>.receivepack to override
the default value (which is "git-receive-pack").

Signed-off-by: Uwe Kleine-König <zeisberg@informatik.uni-freiburg.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Documentation/config.txt
builtin-push.c