Re: [Tei-council] git merging into fork