Reporting CI failures to github issues

[Ivan Kelly]

Hi folks,

When you report a CI failure to github, can you click on "Keep this
build forever" in jenkins itself, so that the results will still be
around when we eventually look at it.
Unfortunately, you need to log in for this.

Cheers,
Ivan