Skip to content

infra[notask]: retire the verify label in favour of verified#2102

Merged
Proletter merged 3 commits into
mainfrom
infra/deprecate-verify-label
May 21, 2026
Merged

infra[notask]: retire the verify label in favour of verified#2102
Proletter merged 3 commits into
mainfrom
infra/deprecate-verify-label

Commits

Commits on May 18, 2026

Commits on May 20, 2026