use git cat-file -e instead of git rev-list in _rev_exists#3605

ptarjan wants to merge 11 commits into

pre-commit:mainpre-commit/pre-commit:mainfrom

ptarjan:rev-listptarjan/pre-commit:rev-listCopy head branch name to clipboard