mirror of
https://github.com/pre-commit/pre-commit.git
synced 2026-02-17 08:14:42 +04:00
Merge 3203dd3831 into 8416413a0e
This commit is contained in:
commit
e26dd63bf6
1 changed files with 4 additions and 1 deletions
|
|
@ -111,7 +111,10 @@ def _ns(
|
||||||
|
|
||||||
|
|
||||||
def _rev_exists(rev: str) -> bool:
|
def _rev_exists(rev: str) -> bool:
|
||||||
return not subprocess.call(('git', 'rev-list', '--quiet', rev))
|
return not subprocess.call(
|
||||||
|
('git', 'cat-file', '-e', rev),
|
||||||
|
stderr=subprocess.DEVNULL,
|
||||||
|
)
|
||||||
|
|
||||||
|
|
||||||
def _pre_push_ns(
|
def _pre_push_ns(
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue