rename --exec to --receive-pack for push and send-pack
commitd23842fd53e61f32c189a6ec902c4133abf29878
authorUwe Kleine-König <zeisberg@informatik.uni-freiburg.de>
Fri, 19 Jan 2007 12:49:27 +0000 (19 13:49 +0100)
committerJunio C Hamano <junkio@cox.net>
Sat, 20 Jan 2007 01:54:33 +0000 (19 17:54 -0800)
treecf57bc1f05193eed274fd714013b779cb1a897e1
parent060aafc11fb6140f1b33326f03e70dad5762a624
rename --exec to --receive-pack for push and send-pack

For now it's just to get a more descriptive name.  Later we might update the
push protocol to run more than one program on the other end.  Moreover this
matches better the corresponding config option remote.<name>. receivepack.

--exec continues to work

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