Skip to content

edited the idranges file so that we don't have id clashes while worki…#33

Open
hoganwr wants to merge 1 commit intomainfrom
set-id-ranges
Open

edited the idranges file so that we don't have id clashes while worki…#33
hoganwr wants to merge 1 commit intomainfrom
set-id-ranges

Conversation

@hoganwr
Copy link
Contributor

@hoganwr hoganwr commented Mar 5, 2026

…ng on terms in parallel. Tested it out and verified it works.

…ng on terms in parallel. Tested it out and verified it works.
@hoganwr hoganwr requested a review from manojniwas March 5, 2026 19:46
@hoganwr
Copy link
Contributor Author

hoganwr commented Mar 5, 2026

Whoever reviews this PR should test out their own user name. Feel free to edit the file to match your GitHub user name (it really is super convenient to have it pick the user id range automatically for you).

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.

1 participant