[PATCH] Avoid wasting memory in git-rev-list
[git.git] / git-push.sh
2005-09-08 Junio C HamanoBig tool rename.