Code

git-rev-list: do not forget non-commit refs