request-pull: minor tweaks.
authorJunio C Hamano <junkio@cox.net>
Tue, 26 Jul 2005 18:47:31 +0000 (11:47 -0700)
committerJunio C Hamano <junkio@cox.net>
Wed, 27 Jul 2005 18:53:48 +0000 (11:53 -0700)
commit9969b649999a04d6ce8eebccfc1ee766f6e5377a
tree175ae3967a10dc1717bfb9d62e345db35f91b36f
parentab421d2c7886341c246544bc8dea43c66a44d909
request-pull: minor tweaks.

 - use --verify to make sure rev param is a rev, and barf otherwise.
 - make it always output to stdout; no funny business with tee.
 - take optional branch head name to specify which branch to summarize.
 - show baserev in a human readable way.
 - do not depend on diffstat; use git-apply --stat instead.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-request-pull-script