Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused synonym sync files #759

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Remove unused synonym sync files #759

wants to merge 1 commit into from

Conversation

joeflack4
Copy link
Contributor

@joeflack4 joeflack4 commented Jan 17, 2025

Overview

Removes unused synonym sync file: (i) the combined cases file, (ii) now the source-specific files so that they now go in tmp/ instead of being committed.

Pre-merge checklist

Documentation

Was the documentation added/updated under docs/?

  • Yes
  • 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?

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?

  • Yes

- Remove the combined cases file
- Update the source-specific files so that they now go in tmp/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code quality House keeping
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant