-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Rename Dev to Group internally
#15557
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
Conversation
The "dev" naming is a pre-PEP 735 artifact.
| name, | ||
| extra, | ||
| dev, | ||
| group: dev, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks like something should change here
| dev: self_dev, | ||
| group: self_dev, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Here too
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All for this. I imagine there are a lot of small changes to make too.
|
Did a more thorough search to fix more cases (including the ones you noted). I haven't changed "development dependency group" in the error message and comments to "dependency group" yet, maybe a good task for #15406. |
I think we might want to keep that? I worry they're confusing otherwise. We can discuss that separately though. |
The "dev" naming is a pre-PEP 735 artifact.