Skip to content

Assign last reviewer if they can merge with community reviews - #2463

Merged
Urgau merged 1 commit into
rust-lang:masterfrom
Urgau:assign-community-reviews-assign-last-official
Jul 14, 2026
Merged

Assign last reviewer if they can merge with community reviews#2463
Urgau merged 1 commit into
rust-lang:masterfrom
Urgau:assign-community-reviews-assign-last-official

Commits

Commits on Jul 14, 2026