Re: Pull Request Builder on Apache Jenkins

[Dan Kirkwood]

looks like it will skip if the title contains [skipXXXci] where XXX is
any non-whitespace..  Not sure why that form,  but it's possible.

I'll wait for other feedback before making any change to that.