Skip to content

Conversation

@him2him2
Copy link
Contributor

Summary

Fix various typos, grammar issues, and capitalization errors across 21 documentation files:

  • "Github" → "GitHub" capitalization fix throughout (about.md, git.md, about-this-guide.md, debugging-support-in-rustc.md, and all notification-groups files)
  • "its self" → "itself" (macro-expansion.md, what-bootstrapping-does.md)
  • "MIRI" → "Miri" — correct project name capitalization (overview.md, what-bootstrapping-does.md)
  • Grammar fixes: "to given" → "to give", "an user-specified" → "a user-specified", "an separate" → "a separate" (diagnostics.md, git.md)
  • Incorrect attribute syntax: !#[warn#![warn (diagnostics.md)
  • "overrides" → "override" subject-verb agreement (suggested.md)
  • "issue commit" → "commit message" (contributing.md)
  • Double space removal (ty.md)

- Fix "Github" → "GitHub" capitalization throughout (about.md, git.md,
  about-this-guide.md, debugging-support-in-rustc.md, and all
  notification-groups files)
- Fix "its self" → "itself" (macro-expansion.md, what-bootstrapping-does.md)
- Fix "MIRI" → "Miri" (overview.md, what-bootstrapping-does.md)
- Fix grammar: "to given" → "to give", "an user-specified" → "a user-specified",
  "an separate" → "a separate" (diagnostics.md, git.md)
- Fix incorrect attribute syntax: `!#[warn` → `#![warn` (diagnostics.md)
- Fix "overrides" → "override" (suggested.md)
- Fix "issue commit" → "commit message" (contributing.md)
- Fix double spaces (ty.md)
@rustbot
Copy link
Collaborator

rustbot commented Feb 10, 2026

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Feb 10, 2026
@BoxyUwU BoxyUwU merged commit f4898d7 into rust-lang:main Feb 10, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Feb 10, 2026
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.

3 participants