[PATCH] document git-rev-list better