feat(contribute/commit.md): allow commit subject to start with uppercase letter - #905

feat(contribute/commit.md): allow commit subject to start with uppercase letter#905

joneugster wants to merge 2 commits into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

joneugster:fix/commit-convention-lower-casejoneugster/leanprover-community.github.io:fix/commit-convention-lower-caseCopy head branch name to clipboard