Skip to content

Replace chebi slim URL#443

Merged
jseager7 merged 1 commit intoPHI-base:masterfrom
aleixpuigb:replace_chebi_slim
Jan 19, 2026
Merged

Replace chebi slim URL#443
jseager7 merged 1 commit intoPHI-base:masterfrom
aleixpuigb:replace_chebi_slim

Conversation

@aleixpuigb
Copy link
Copy Markdown
Contributor

@aleixpuigb
Copy link
Copy Markdown
Contributor Author

CC @matentzn

@matentzn
Copy link
Copy Markdown
Collaborator

I will leave it to @jseager7 to handle the rest, looks good!

@jseager7
Copy link
Copy Markdown
Contributor

Thanks, but before I merge this, please can you explain why the change is needed? Is it just because chebi_slim.owl has a PURL now?

I'm presuming it didn't have a PURL before, unless it did and I used the raw.githubusercontent address out of ignorance.

@matentzn
Copy link
Copy Markdown
Collaborator

@jseager7 - the file size of chebi_slim.owl krept out of the limit on GitHub; we had to move it. To prevent having to change 20 repos again in the future we decided to create a PURL and use that - that will always work!

@jseager7
Copy link
Copy Markdown
Contributor

@matentzn Okay, thanks for explaining. Merging now.

@jseager7 jseager7 merged commit 6078aca into PHI-base:master Jan 19, 2026
1 check passed
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.

3 participants