Skip to content
This repository was archived by the owner on Sep 3, 2025. It is now read-only.

Ensure abbreviated commit IDs are unique#248

Merged
ajoberstar merged 1 commit into
masterfrom
abbrev
Jul 4, 2018
Merged

Ensure abbreviated commit IDs are unique#248
ajoberstar merged 1 commit into
masterfrom
abbrev

Conversation

@ajoberstar

Copy link
Copy Markdown
Owner

JGit provides a method that ensures uniqueness. This is safer than the
old approach that just substringed. That option is still around, but
deprecated.

This fixes #238.

JGit provides a method that ensures uniqueness. This is safer than the
old approach that just substringed. That option is still around, but
deprecated.

This fixes #238.
@ajoberstar
ajoberstar merged commit 0775a63 into master Jul 4, 2018
@ajoberstar
ajoberstar deleted the abbrev branch July 4, 2018 00:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unique abbreviated Commit IDs

1 participant