Merge aab07392b6 into b4105e73e4

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**

Global/macOS.gitignore

@@ -1,6 +1,5 @@
 # General
 .DS_Store
-.localized
 __MACOSX/
 .AppleDouble
 .LSOverride

Laravel.gitignore

@@ -1,30 +1,73 @@
-/vendor/
+# Dependency directories
-node_modules/
+/vendor
+/node_modules
+/.fleet
+/.idea
+/.nova
+/.vscode
+/.zed
+
+# Build and public directories
+/public/build
+/public/hot
+/public/storage
+
+# Storage files
+/storage/*.key
+/storage/pail
+
+# Environment files
+.env
+.env.*
+!.env.example
+.env.backup
+.env.production
+.env.local
+.env.staging
+.env.testing
+
+# Cache, logs, and debugging files
 npm-debug.log
 yarn-error.log
+/auth.json
+/phpactor.json
+.phpunit.result.cache
+/.phpunit.cache
+error_log
+storage/debugbar
 
-# Laravel 4 specific
+# Homestead & Vagrant
-bootstrap/compiled.php
-app/storage/
-
-# Laravel 5 & Lumen specific
-public/storage
-public/hot
-
-# Laravel 5 & Lumen specific with changed public path
-public_html/storage
-public_html/hot
-
-storage/*.key
-.env
 Homestead.yaml
 Homestead.json
 /.vagrant
-.phpunit.result.cache
 
-/public/build
+# IDE & Editor specific
-/storage/pail
+/.phpstorm.meta.php
-.env.backup
+*.sublime-project
-.env.production
+*.sublime-workspace
-.phpactor.json
+*.code-workspace
-auth.json
+
+# Composer files
+composer.phar
+/composer.lock
+
+# Miscellaneous
+/coverage/
+.php_cs.cache
+.php_cs
+/phpunit.xml
+.php-version
+.DS_Store
+Thumbs.db
+*.log
+*.key
+*.tmp
+*.swp
+*.bak
+*.orig
+*.save
+
+# Deployment files
+deployment/
+deploy/
+build/

Lean.gitignore

@@ -1,2 +0,0 @@
-# cache and other artifacts produced by Lean's Lake build tool
-.lake/

Maven.gitignore

@@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
+# https://maven.apache.org/wrapper/#usage-without-binary-jar
 .mvn/wrapper/maven-wrapper.jar
 
 # Eclipse m2e generated files

Nix.gitignore

@@ -4,6 +4,3 @@ result-*
 
 # Ignore automatically generated direnv output
 .direnv
-
-# Ignore NixOS interactive test driver history
-**/.nixos-test-history

TeX.gitignore

@@ -75,11 +75,6 @@ acs-*.bib
 # comment
 *.cut
 
-# context
-*.tuc
-*.tui
-*.tuo
-
 # cprotect
 *.cpt