[tei-council] Jenkins working group