3 ms·

I'm curious about this too. I know Jenkins has a rest API; maybe it's attached to Github web hooks.