Merge a82cd01a2a into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-05 17:44:46 +01:00 · 2026-04-04 09:33:38 +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
4 changed files with 81 additions and 49 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
@@ -1,52 +1,30 @@
-# Cache and logs (Symfony2)
-/app/cache/*
-/app/logs/*
-!app/cache/.gitkeep
-!app/logs/.gitkeep
-
-# Email spool folder
-/app/spool/*
-
-# Cache, session files and logs (Symfony3)
-/var/cache/*
-/var/logs/*
-/var/sessions/*
-!var/cache/.gitkeep
-!var/logs/.gitkeep
-!var/sessions/.gitkeep
-
-# Logs (Symfony4)
-/var/log/*
-!var/log/.gitkeep
-
-# Parameters
-/app/config/parameters.yml
-/app/config/parameters.ini
-
-# Managed by Composer
-/app/bootstrap.php.cache
-/var/bootstrap.php.cache
-/bin/*
-!bin/console
-!bin/symfony_requirements
+# Composer
 /vendor/
-
-# Assets and user uploads
-/web/bundles/
-/web/uploads/
-
-# PHPUnit
-/app/phpunit.xml
-/phpunit.xml
-
-# Build data
-/build/
-
-# Composer PHAR
 /composer.phar

-# Backup entities generated with doctrine:generate:entities command
-**/Entity/*~
+# Cache, session files and logs
+/var/cache/*
+/var/log/*
+/var/sessions/*
+!var/cache/.gitkeep
+!var/log/.gitkeep
+!var/sessions/.gitkeep

-# Embedded web-server pid file
-/.web-server-pid
+# Env vars & Secrets
+/.env.local
+/.env.local.php
+/.env.*.local
+/config/secrets/prod/prod.decrypt.private.php
+
+# Bundles assets
+/public/bundles/
+
+# Webpack Encore
+/node_modules/
+npm-debug.log
+yarn-error.log
+
+# PHPUnit
+.phpunit.result.cache
+/phpunit.xml
+/phpunit.xml.dist
@@ -0,0 +1,52 @@
+# Cache and logs (Symfony2)
+/app/cache/*
+/app/logs/*
+!app/cache/.gitkeep
+!app/logs/.gitkeep
+
+# Email spool folder
+/app/spool/*
+
+# Cache, session files and logs (Symfony3)
+/var/cache/*
+/var/logs/*
+/var/sessions/*
+!var/cache/.gitkeep
+!var/logs/.gitkeep
+!var/sessions/.gitkeep
+
+# Logs (Symfony4)
+/var/log/*
+!var/log/.gitkeep
+
+# Parameters
+/app/config/parameters.yml
+/app/config/parameters.ini
+
+# Managed by Composer
+/app/bootstrap.php.cache
+/var/bootstrap.php.cache
+/bin/*
+!bin/console
+!bin/symfony_requirements
+/vendor/
+
+# Assets and user uploads
+/web/bundles/
+/web/uploads/
+
+# PHPUnit
+/app/phpunit.xml
+/phpunit.xml
+
+# Build data
+/build/
+
+# Composer PHAR
+/composer.phar
+
+# Backup entities generated with doctrine:generate:entities command
+**/Entity/*~
+
+# Embedded web-server pid file
+/.web-server-pid
Author	SHA1	Message	Date
Felix SOEDJEDE	a57cdf96cb	Merge `a82cd01a2a` into `84c6914a9b`	2026-04-04 09:33:38 +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 VenkateshandDevin Dooley	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
Felix Soedjede	a82cd01a2a	Added `Symfony.gitignore` with Symfony 5 related ignores	2022-04-07 19:48:04 +02:00
Felix Soedjede	a9956fb969	Moved `Symfony.gitignore` to `community/PHP/Symfony4.gitignore`	2022-04-07 19:34:33 +02:00