forked from servo/servo
-
Notifications
You must be signed in to change notification settings - Fork 0
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 |