Bots
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 |