Re: [tei-council] A fresh perspective on git