Re: [tei-council] GitHub tickets and new council members