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

Add default stage names. #211

Merged
merged 6 commits into from Apr 2, 2019
Merged

Add default stage names. #211

merged 6 commits into from Apr 2, 2019

Conversation

wzorgdrager
Copy link
Collaborator

@wzorgdrager wzorgdrager commented Apr 2, 2019

Related issue(s): #204

Description of changes

Easy propagation of stage-names.

Check-list

Please make sure to review and check all of these items:

  • Are the updated classes tested?
  • Are the updated classes documented & properly formatted?
  • Is a documentation update included (if this change modifies existing APIs, or introduces new ones)?

NOTE: these things are not required to open a PR and can be done
afterwards / while the PR is open.

@wzorgdrager wzorgdrager merged commit 5d36fcb into develop Apr 2, 2019
@wzorgdrager wzorgdrager deleted the improvement/stage_names branch April 2, 2019 11:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant