Skip to content

Update commit message guidelines in contribute.md - #753

Open
marwahaha wants to merge 1 commit into
leanprover-community:lean4from
marwahaha:patch-1
Open

Update commit message guidelines in contribute.md#753
marwahaha wants to merge 1 commit into
leanprover-community:lean4from
marwahaha:patch-1

Commits

Commits on Dec 3, 2025