This is the conceptually develop into main where main-new was a branch from the latest version of main. It was done this way this time in order to run the build once.
Pre-merge checklist
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
Build PR:
556
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?
Overview
Merging
developintomain.This is the conceptually
developintomainwheremain-newwas a branch from the latest version ofmain. It was done this way this time in order to run the build once.Pre-merge checklist
QC
Was the full pipeline run before submitting this PR using
sh run.sh make build-mondo-ingeston this branch (afterdocker pull obolibrary/odkfull:dev), and no errors occurred?Build PR:
556
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?
Additional info
Context: Slack
Includes:
developintomain-new, which is a copy ofmain.555
557
556 - to be merged once that build finishes and is reviewed