highfive
highfive copied to clipboard
IRC github bot not configured for this repo?
Just opened #94, and it didn't show up in IRC.
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.
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