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

fixes #3604
This commit is contained in:
Paul Tarjan 2025-12-26 14:57:28 -07:00
parent 8416413a0e
commit b285cccb19

View file

@ -111,7 +111,7 @@ def _ns(
def _rev_exists(rev: str) -> bool:
return not subprocess.call(('git', 'rev-list', '--quiet', rev))
return subprocess.call(('git', 'cat-file', '-e', rev)) == 0
def _pre_push_ns(