Redirecting to https://github.com/leanprover/lean4/blob/master/doc/dev/commit_convention.md