Skip to content

Bots

Jump to bottom
E. Dunham edited this page Jul 14, 2016 · 3 revisions

A variety of IRC bots frequent #servo. Here's what we know about where their source lives and who runs them.

Bot Name Source Owner(s) or who can fix it if it breaks
gh-servo GitHub webhooks use this nick Anyone in https://github.com/orgs/servo/teams/admin-perms
crowbot https://github.com/servo/crowbot jdm
playbot https://github.com/rust-lang/rust-playpen edunham, acrichto, brson
rustbot https://github.com/havvy/tennu-rust-help Havvy

Clone this wiki locally