Closed egonw closed 1 month ago
And deprecated in bioregistry.io
Actually, the bioregistry.io prefix was wrong: interpro is a different namespace, the correct one was 'ipi'
@AlexanderPico or @mkutmon, do you see any reason to keep it?
@AlexanderPico, @mkutmon, if there are not objections, I'll merge this PR in a week or so.
And deprecated in bioregistry.io
Actually, the bioregistry.io prefix was wrong: interpro is a different namespace, the correct one was 'ipi'
@AlexanderPico or @mkutmon, do you see any reason to keep it?