Various minor issues and optimizations I noticed with regards to docs related make goals.
Pre-merge checklist
Documentation
Was the documentation added/updated under docs/?
[ ] Yes
[x] No, updates to the docs were not necessary after careful consideration
QC
Was the full pipeline run before submitting this PR using sh run.sh make build-mondo-ingest on this branch (after
docker pull obolibrary/odkfull:dev), and no errors occurred?
[x] Yes
[ ] No, there are no functional (code-related) changes to the pipeline in the PR, so no re-run is necessary
Overview
Various minor issues and optimizations I noticed with regards to docs related
make
goals.Pre-merge checklist
Documentation
Was the documentation added/updated under
docs/
?QC
Was the full pipeline run before submitting this PR using
sh run.sh make build-mondo-ingest
on this branch (afterdocker pull obolibrary/odkfull:dev
), and no errors occurred?Build PR:
654
New Packages
Were any new Python packages added?
Were any other non-Python packages added?
PR Review and Conversations Resolved
Has the PR been sufficiently reviewed by at least 1 team member of the Mondo Technical team and all threads resolved?