Skip to content
This repository was archived by the owner on Jul 18, 2026. It is now read-only.

chore: add .emojiignore to exempt Lean source files from emoji gate - #2

Merged
wock9000 merged 1 commit into
masterfrom
fix/add-emojiignore
Jul 12, 2026
Merged

chore: add .emojiignore to exempt Lean source files from emoji gate#2
wock9000 merged 1 commit into
masterfrom
fix/add-emojiignore

chore: add .emojiignore to exempt Lean source files from emoji gate

0b4a387
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar