Skip to content

dev desktops: make gh- prefix harder to miss#1019

Merged
Mark-Simulacrum merged 1 commit intorust-lang:masterfrom
RalfJung:dev-desktop-login
Mar 3, 2026
Merged

dev desktops: make gh- prefix harder to miss#1019
Mark-Simulacrum merged 1 commit intorust-lang:masterfrom
RalfJung:dev-desktop-login

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 3, 2026

I just entirely missed this prefix and made a fool of myself.^^
Zulip

Rendered

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 3, 2026
@rustbot
Copy link
Collaborator

rustbot commented Mar 3, 2026

r? @Kobzol

rustbot has assigned @Kobzol.
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

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: infra
  • infra expanded to 8 candidates
  • Random selection from 8 candidates

Copy link
Member

@Mark-Simulacrum Mark-Simulacrum left a comment

Choose a reason for hiding this comment

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

+100, I've done this too :)

View changes since this review

@Mark-Simulacrum Mark-Simulacrum enabled auto-merge (rebase) March 3, 2026 16:08
@Mark-Simulacrum Mark-Simulacrum merged commit 96fc290 into rust-lang:master Mar 3, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 3, 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.

5 participants