Skip to content

Update OBO Extended Prefix Map#1300

Merged
gouttegd merged 1 commit intomasterfrom
update-obo-epm
Feb 20, 2026
Merged

Update OBO Extended Prefix Map#1300
gouttegd merged 1 commit intomasterfrom
update-obo-epm

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

This pull request updates OBO extended prefix map (epm).

matentzn
matentzn previously approved these changes Oct 27, 2025
Copy link
Copy Markdown
Contributor

@matentzn matentzn left a comment

Choose a reason for hiding this comment

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

Mostly a bunch of added prefix_synonyms

@gouttegd gouttegd merged commit 964da61 into master Feb 20, 2026
@gouttegd gouttegd deleted the update-obo-epm branch February 20, 2026 22:24
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