Skip to content

Add support for @bot claim @user to assign to another user - #2456

Merged
Urgau merged 4 commits into
rust-lang:masterfrom
DanielEScherzer:claim-another
Jul 14, 2026
Merged

Add support for @bot claim @user to assign to another user#2456
Urgau merged 4 commits into
rust-lang:masterfrom
DanielEScherzer:claim-another

Commits

Commits on Jul 8, 2026

Commits on Jul 14, 2026