Update plugins.md - Githubissues

ontodev / robot

ROBOT is an OBO Tool

http://robot.obolibrary.org

BSD 3-Clause "New" or "Revised" License

264 stars 74 forks source link

Closed cmungall closed 7 months ago

cmungall commented 7 months ago

make it easier to find plugins

Resolves [#ISSUE, resolves #ISSUE]

[DESCRIPTION, mentioning relevant #ISSUE]

jamesaoverton commented 7 months ago

I'm going to ignore the failing tests. This is just a documentation change. GitHub Actions must be acting up.