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

Rename TargetLevel again: LevelDemand #1172

Merged
merged 2 commits into from
Feb 23, 2024
Merged

Rename TargetLevel again: LevelDemand #1172

merged 2 commits into from
Feb 23, 2024

Conversation

visr
Copy link
Member

@visr visr commented Feb 22, 2024

Follow up of #1082 and #1141.

As suggested by @gijsber, to go with FlowDemand of #78, and renaming User to UserDemand.

Not breaking since the TargetLevel node has not yet been in a release.

@visr visr mentioned this pull request Feb 23, 2024
@Hofer-Julian Hofer-Julian merged commit de2203f into main Feb 23, 2024
20 checks passed
@Hofer-Julian Hofer-Julian deleted the level-demand branch February 23, 2024 14:33
Hofer-Julian pushed a commit that referenced this pull request Feb 23, 2024
This was a pain to rename. I manually edited quite a bit.

I prefer to always refer to the node types by their proper PascalCase
name in comments and docs, so Basin and not basin.

A part of the allocation docs were also outdated, referring to only User
nodes, whereas it should refer to all Demand nodes.

Rename suggested by @gijsber and on top of
#1172.

PR is ready for review, I'll still add upgrade instructions.
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.

2 participants