Re: [Tei-council] Jenkins dislikes my commit message?