Skip to content

Remove WG leads from *-bots teams#1417

Merged
beyhan merged 1 commit intomainfrom
remove-leads-from-bots
Jan 28, 2026
Merged

Remove WG leads from *-bots teams#1417
beyhan merged 1 commit intomainfrom
remove-leads-from-bots

Commits

Commits on Jan 27, 2026