Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upHook up this repo to highfive #353
Comments
|
I think I did it correctly - we'll see on the next PR open by somebody new! |
|
I don't think this is set up properly - see #359 where highfive didn't leave a comment. |
|
We may need a Robots team like the main servo repo does. |
|
Should be fixed now: http://logs.glob.uno/?c=mozilla%23servo#c422225 |
|
Apparently still not fixed - Highfive didn't leave a comment on #369, either. |
|
Looks like this is working as of #499, will close this after 1/2 more PRs to verify. |
|
FYI, @jdm was right - the Robots group did not have write access to the repo. After adding that this Friday, it seems to be working. |
|
Ah ok, in that case since it didn't just spontaneously start working, this should be good to go. |
Add a webhook pointing at
http://www.joshmatthews.net/highfive/newpr.py. See servo/highfive#109 (comment).