Merge 01e75ac83d into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-08-30 11:47:22 +02:00 · 2026-04-04 02:42:19 +00:00 · 2026-04-03 17:05:51 -07:00 · 2026-04-03 20:04:27 -04:00 · 2026-04-03 14:15:11 -07:00 · 2026-03-28 21:42:41 -07:00
3 changed files with 7 additions and 2 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
--- a/Global/macOS.gitignore
+++ b/Global/macOS.gitignore
@ -3,7 +3,10 @@
 __MACOSX/
 .AppleDouble
 .LSOverride
-Icon[
]
+
+# Finder custom icons
+# Pattern [^!-~] prevents corruption by line-ending converters and editor auto-formatting
+Icon[^!-~]

 # Thumbnails
 ._*
--- a/Lean.gitignore
+++ b/Lean.gitignore
@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
Author	SHA1	Message	Date
silentip404	a08ff17507	Merge `01e75ac83d` into `84c6914a9b`	2026-04-04 02:42:19 +00:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth Venkatesh	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Devin Dooley	f963896e65	Merge pull request #4818 from vicgeentor/patch-1 Update Agda.gitignore to exclude MAlonzo directories in any location	2026-04-03 14:15:11 -07:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
silentip404	01e75ac83d	Improve macOS Icon pattern to prevent collaboration issues Replace invisible CR with character class Icon[^!-~] The literal CR character is frequently corrupted by: - Text editors auto-trimming invisible chars - Formatting tools (editorconfig) normalizing line endings - Copy/paste operations losing special characters - IDE auto-formatting and linting tools Character class pattern is collaboration-safe and functionally identical.	2025-11-10 22:16:16 +08:00