Auto-testing of GitHub pull requests

[Dicebot]

On Tuesday, 24 September 2013 at 10:25:21 UTC, Joseph Rushton 
Wakeling wrote:
> Hello all,
>
> GitHub very nicely ensures that all pull requests to dmd, 
> druntime and phobos are sent to the auto-tester and that 
> success/failure reports are sent back.
>
> But ... how is this done?  Is the auto-tester entirely custom 
> written or does it use some standard tools?  And how is it 
> hooked into GitHub?
>
> Thanks & best wishes,
>
>     -- Joe

D one is custom but most major CI tools have such functionality 
(I personally have used Jenkins). It uses GitHub application API 
and needs to be explicitly allowed by repository owner.