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

Update commit message guidelines in contribute.md

3b4c864
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.