Skip to content

Shorter Human IDs#177

Merged
xzrderek merged 1 commit intomainfrom
derekx/shorter-human-ids
Sep 15, 2025
Merged

Shorter Human IDs#177
xzrderek merged 1 commit intomainfrom
derekx/shorter-human-ids

Conversation

@xzrderek
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown
Collaborator

@dphuang2 dphuang2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

amazing thanks

@xzrderek xzrderek merged commit c36c692 into main Sep 15, 2025
7 checks passed
@xzrderek xzrderek deleted the derekx/shorter-human-ids branch September 15, 2025 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants