Re: [tei-council] do we have git doc yet?