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