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

Docs: change "Package naming guidelines" to "Package naming rules" #53566

Merged
merged 2 commits into from
Mar 5, 2024

Conversation

DilumAluthge
Copy link
Member

I think that "guidelines" implies that these are just optional suggestions.

But in practice, I think we usually insist that these are followed.

So I think it might be worth changing "guidelines" to "rules", to clarify that we enforce these.

@DilumAluthge DilumAluthge added docs This change adds or pertains to documentation packages Package management and loading labels Mar 2, 2024
@ViralBShah ViralBShah merged commit 892c491 into master Mar 5, 2024
7 checks passed
@ViralBShah ViralBShah deleted the dpa/rules-not-guidelines branch March 5, 2024 04:00
@KristofferC
Copy link
Member

Imo, these are guidelines, like the closeness of package names etc. I felt the previous wording conveyed a meaning closer to how this is used in practice.

mkitti pushed a commit to mkitti/julia that referenced this pull request Apr 13, 2024
…uliaLang#53566)

I think that "guidelines" implies that these are just optional
suggestions.

But in practice, I think we usually insist that these are followed.

So I think it might be worth changing "guidelines" to "rules", to
clarify that we enforce these.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation packages Package management and loading
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants