I mean git commit by git commit. Which is how it looks when you use the right tool, eg: lean4