Skip to content

perf: use git cat-file -e instead of git rev-list in _rev_exists#3601

Closed
ptarjan wants to merge 1 commit intopre-commit:mainfrom
ptarjan:claude/fix-slow-rev-exists-mkZg6
Closed

perf: use git cat-file -e instead of git rev-list in _rev_exists#3601
ptarjan wants to merge 1 commit intopre-commit:mainfrom
ptarjan:claude/fix-slow-rev-exists-mkZg6

Commits

Commits on Dec 24, 2025