IRC github bot not configured for this repo?

servo / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Mozilla Public License 2.0

254 stars 58 forks source link

IRC github bot not configured for this repo? #95

Open emilio opened 8 years ago

emilio commented 8 years ago

Just opened #94, and it didn't show up in IRC.

jdm commented 8 years ago

It's configured. I haven't been able to figure out why it never reports anything. Maybe it's something about the repository being moved from jdm/highfive.

wafflespeanut commented 8 years ago

This occurs only for issues. PRs do show up in the log.

(from yesterday's IRC log)

Apr 23 00:07:52 -ghservo/#servo-        [highfive] Wafflespeanut opened pull request #92: Assign reviewers to PRs when they approve (master...assignee) https://git.io/vwBR6