commit | 060aafc11fb6140f1b33326f03e70dad5762a624 | [log] [tgz] |
---|---|---|
author | Uwe Kleine-König <zeisberg@informatik.uni-freiburg.de> | Fri Jan 19 13:46:16 2007 +0100 |
committer | Junio C Hamano <junkio@cox.net> | Fri Jan 19 17:54:33 2007 -0800 |
tree | 948eefea048d8d12e62a35cda87222140dd52a30 | |
parent | 18bd8821cace2f830e34574df6df30e072d0ed40 [diff] |
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>