rustc-dev-guide.toml: reduce name varieties of the group #1963
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Dry-run check results |
apiraino
reviewed
Aug 26, 2025
| @@ -29,8 +29,8 @@ alumni = [ | |||
| orgs = ["rust-lang"] | |||
|
|
|||
| [website] | |||
| name = "Rustc Dev Guide working area" | |||
| description = "Making the compiler easier to learn by maintaining and improving the Rustc Dev Guide" | |||
| name = "rustc-dev-guide working area" | |||
There was a problem hiding this comment.
The title I see on that website is "Rust Compiler Development Guide". Perhaps did you mean to use that? rustc-dev-guide is (iiuc) the domain name so imo not very clear.
There was a problem hiding this comment.
I went for the shorter name for the title to avoid it being too wordy, and added the formal name on the description
jieyouxu
added
needs-team-repo-admin-review
Either use the repo name or the full name, but not also the third form. Also, it being capitalized made it seem like a formal name, which it's not.
tshepang
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Either use the repo name or the full name, but not also the third form. Also, it being capitalized made it seem like a formal name, which it's not.
cc @BoxyUwU