Merge 71823a71a3 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 09:15:16 +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 28 additions and 26 deletions
--- a/Agda.gitignore
+++ b/Agda.gitignore
@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
--- a/Global/macOS.gitignore
+++ b/Global/macOS.gitignore
@ -1,25 +1,25 @@
-# General
+# General
-.DS_Store
+.DS_Store
-__MACOSX/
+__MACOSX/
-.AppleDouble
+.AppleDouble
-.LSOverride
+.LSOverride
-Icon[
]
+Icon[\r]
-
+
-# Thumbnails
+# Thumbnails
-._*
+._*
-
+
-# Files that might appear in the root of a volume
+# Files that might appear in the root of a volume
-.DocumentRevisions-V100
+.DocumentRevisions-V100
-.fseventsd
+.fseventsd
-.Spotlight-V100
+.Spotlight-V100
-.TemporaryItems
+.TemporaryItems
-.Trashes
+.Trashes
-.VolumeIcon.icns
+.VolumeIcon.icns
-.com.apple.timemachine.donotpresent
+.com.apple.timemachine.donotpresent
-
+
-# Directories potentially created on remote AFP share
+# Directories potentially created on remote AFP share
-.AppleDB
+.AppleDB
-.AppleDesktop
+.AppleDesktop
-Network Trash Folder
+Network Trash Folder
-Temporary Items
+Temporary Items
-.apdisk
+.apdisk
--- 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
Walter Purcaro	13de1383fe	Merge `71823a71a3` into `84c6914a9b`	2026-04-04 09:15:16 +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
Walter Purcaro	71823a71a3	Merge branch 'main' into patch-3	2025-09-17 18:34:18 +02:00
Walter Purcaro	256998a92d	Fix macOS rule for Icon file exclusion	2022-07-07 14:59:22 +02:00
`@ -1,2 +1,2 @@`
	`*.agdai`	`*.agdai`
	`MAlonzo/**`	`/MAlonzo/`
		`@ -0,0 +1,2 @@`
							`# cache and other artifacts produced by Lean's Lake build tool`
							`.lake/`