Auto-testing of GitHub pull requests

[Joseph Rushton Wakeling]

On 24/09/13 13:01, Jacob Carlborg wrote:
> It's custom. I would guess it either uses a git hook or it uses some API
> provided by Github.

Ahh, OK.  I was wondering if it used some standard tool to manage starting the 
test jobs and reporting back the tests -- something like Gerrit, Jenkins, etc. 
I don't have any personal experience of these so couldn't tell on the basis of 
the test website.

Thanks for the info! :-)