Update commit message guidelines in contribute.md#753

marwahaha wants to merge 1 commit intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

marwahaha:patch-1marwahaha/leanprover-community.github.io:patch-1Copy head branch name to clipboard