Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IRC github bot not configured for this repo? #95

Open
emilio opened this issue Apr 23, 2016 · 2 comments
Open

IRC github bot not configured for this repo? #95

emilio opened this issue Apr 23, 2016 · 2 comments

Comments

@emilio
Copy link
Member

emilio commented Apr 23, 2016

Just opened #94, and it didn't show up in IRC.
@jdm
Copy link
Member

jdm commented Apr 23, 2016

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
Copy link
Contributor

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

Mark-Simulacrum pushed a commit to Mark-Simulacrum/highfive that referenced this issue Sep 8, 2020
@nrc
Merge pull request servo#95 from davidalber/choose-reviewer-unit-tests
7617642 
More unit tests for `choose_reviewer`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jdm @emilio @wafflespeanut