[PATCH] Avoid wasting memory in git-rev-list