Yes, that's what I said in my commit message for this one (i.e. I've linked to Jenkins but should it be a link to a description, blah blah...). Is there a better way for me to have made that comment?

I was also wondering whether it might be worth there being a full section on CI?