Skip to content

faster check of rev existing locally as a commit#3726

Merged
asottile merged 1 commit into
mainfrom
exists-faster
Jul 21, 2026
Merged

faster check of rev existing locally as a commit#3726
asottile merged 1 commit into
mainfrom
exists-faster

Conversation

@asottile

@asottile asottile commented Jul 21, 2026

Copy link
Copy Markdown
Member

resolves #3604
closes #3605

@asottile
asottile enabled auto-merge July 21, 2026 20:30
@asottile
asottile merged commit 1558d06 into main Jul 21, 2026
11 checks passed
@asottile
asottile deleted the exists-faster branch July 21, 2026 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

git rev-list --quiet is slow in a large repo

1 participant