Skip to content
New issue

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

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

Already on GitHub? # to your account

Generalize migration process #283

Merged
merged 1 commit into from
Jan 5, 2018
Merged

Generalize migration process #283

merged 1 commit into from
Jan 5, 2018

Conversation

ZenGround0
Copy link
Collaborator

This is meant to address issue #230. It implements the ideas put forward there to help ease the development of state migration changes when format versions increase. With so few supported versions at present the overhead may seem unnecessary but it should start obviously paying off when we get to version ~10.

@hsanjuan there is still a lot of updating required in the case of a version increase. Suggestions to improve this are particularly welcome.

License: MIT
Signed-off-by: Wyatt Daviau <wdaviau@cs.stanford.edu>
@ghost ghost assigned ZenGround0 Jan 5, 2018
@ghost ghost added the status/in-progress In progress label Jan 5, 2018
@ZenGround0 ZenGround0 requested a review from hsanjuan January 5, 2018 04:16
@coveralls
Copy link

Coverage Status

Changes Unknown when pulling 652ba56 on feat/migration-framework into ** on master**.

Copy link
Collaborator

@hsanjuan hsanjuan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@hsanjuan
Copy link
Collaborator

hsanjuan commented Jan 5, 2018

@hsanjuan there is still a lot of updating required in the case of a version increase. Suggestions to improve this are particularly welcome.

Will improve as we need it I guess...

Thanks!

@hsanjuan hsanjuan merged commit 6d299f9 into master Jan 5, 2018
@hsanjuan hsanjuan deleted the feat/migration-framework branch January 5, 2018 09:33
@ghost ghost removed the status/in-progress In progress label Jan 5, 2018
@hsanjuan hsanjuan mentioned this pull request Jan 17, 2018
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants