Add ontobot github action to show diffs on PRs
Opened this issue · 0 comments
cmungall commented
This will make it easier to see the content of changes, as it's hard to read text-level diffs
simple robot diff is fine, no need for entailment diffs (since we don't get classification of OPs in OWL)
We think it would be better if this is triggered by the magic hashtag (#gogoeditdiff
for other ontologies) (need to also document this)