You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Also, with OMIM having a develop branch, do you want to sort out when changes get pushed to main in the omim repo? That repo is less complicated than mondo-ingest, so no need for anything complicated just some process so we know when changes go into main that will effect a data release from the omim repo.
I'm thinking:
When to merge
a. If something that will have an effect on outputs is merged into develop, we can / should immediately merge into main.
b. Otherwise, this process only needs to be done so often; perhaps 1x/week before release, or maybe we can go based on a reminder of 1x/mon.
How to merge
Make a PR from develop to main
Joe can self-review that and only call in other reviewers if necessary.
Joe can decide whether or not to run a build before merging and examine the outputs.
The easiest way is to make a release off of develop. If there's anything wrong with it, it can be deleted.
The text was updated successfully, but these errors were encountered:
@twhetzel Do you think we have an existing doc that's good for this kind of SOP? The same question also applies to these; maybe they should all go into the same doc:
Overview
Trish:
I'm thinking:
When to merge
develop
, we can / should immediately merge intomain
.How to merge
develop
tomain
develop
. If there's anything wrong with it, it can be deleted.The text was updated successfully, but these errors were encountered: