Skip to content

Backfill users.name from oauth_github.login#13547

Closed
quinnjr wants to merge 1 commit into
rust-lang:mainfrom
quinnjr:feature/backfill-user-name
Closed

Backfill users.name from oauth_github.login#13547
quinnjr wants to merge 1 commit into
rust-lang:mainfrom
quinnjr:feature/backfill-user-name

Commits

Commits on May 1, 2026