[tei-council] on git (was "Re: ODD question")