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

Prepares scripts and documentation for #184 #202

Merged
merged 1 commit into from
Dec 20, 2019
Merged

Prepares scripts and documentation for #184 #202

merged 1 commit into from
Dec 20, 2019

Conversation

cimnine
Copy link
Collaborator

@cimnine cimnine commented Dec 10, 2019

This script is a preparation for the changes proposed in #184, i.e. to change to a different branching/development model for this project based on a develop and a release branch.

@cimnine cimnine added the enhancement The issue describes an enhancement that we would like to implement in the future. label Dec 10, 2019
@cimnine cimnine changed the base branch from master to develop December 10, 2019 20:47
@cimnine cimnine added this to the 0.16.0 milestone Dec 10, 2019
@cimnine cimnine merged commit 7af8838 into develop Dec 20, 2019
@cimnine cimnine deleted the prepare_184 branch December 20, 2019 10:42
@cimnine cimnine mentioned this pull request Dec 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement The issue describes an enhancement that we would like to implement in the future.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants