Skip to content

updated docs regarding dev desktop: github account id is case sensitive#847

Merged
Kobzol merged 1 commit into
rust-lang:masterfrom
KMJ-007:patch-1
May 18, 2025
Merged

updated docs regarding dev desktop: github account id is case sensitive#847
Kobzol merged 1 commit into
rust-lang:masterfrom
KMJ-007:patch-1

Conversation

@KMJ-007
Copy link
Copy Markdown
Contributor

@KMJ-007 KMJ-007 commented May 18, 2025

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 18, 2025

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 18, 2025
Copy link
Copy Markdown
Member

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you ❤️

@Kobzol Kobzol merged commit 5803d13 into rust-lang:master May 18, 2025
1 check passed
@KMJ-007 KMJ-007 deleted the patch-1 branch May 19, 2025 03:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants