commit conventions

Stream: CSLib

[Kim Morrison]

Does Cslib plan to follow the commit conventions of lean4 / mathlib? In particular, starting all commit titles with one of feat, chore, fix, doc, etc?

[Chris Henson]

Looking at the last couple of weeks of commits, it seems we have partially converged on this, so I say yes and that we should copy over the workflow lean4 has to enforce this.