GitHub actions

To run one of the actions that can be triggered by a user:

video.mov

Refresh-imports

This action has to be triggered by a user and updates the local import files if:

• There have been changes to imported ontologies (e.g. if there have been changes in CHEBI, the import files may change).
• New terms have been added to the .txt files in src/ontology/imports.

Adding terms to txt files

If you need external terms for logical definitions that are not included in the .txt files in src/ontology/imports, for instance, a GO term that is not in src/ontology/imports/go_terms.txt, follow the same steps as in editing the ontology, but instead of editing in Protege and running normalise_xsd_string, add the terms to the adequate text file.

After you have merged your pull request into master adding the terms to the .txt files, run the "Refresh imports" action on master. This will take around 40 mins and make a new pull request with the updated imports. Wait for the CI checks to pass on that branch, and you can merge.

Refresh-imports