Skip to content

Fix "Github" spelling #11102

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

Merged
merged 1 commit into from
May 3, 2025
Merged

Fix "Github" spelling #11102

merged 1 commit into from
May 3, 2025

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented May 3, 2025

It's called "GitHub", not "Github"… πŸ˜…

@Turbo87 Turbo87 added C-internal πŸ”§ Category: Nonessential work that would make the codebase more consistent or clear A-backend βš™οΈ labels May 3, 2025
@Turbo87 Turbo87 enabled auto-merge (squash) May 3, 2025 13:16
It's called "GitHub", not "Github"… πŸ˜…
@Turbo87 Turbo87 merged commit 25489eb into rust-lang:main May 3, 2025
10 checks passed
@Turbo87 Turbo87 deleted the github branch May 3, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-backend βš™οΈ C-internal πŸ”§ Category: Nonessential work that would make the codebase more consistent or clear
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant