Ignore mise local lock files

https://mise.jdx.dev/dev-tools/mise-lock.html#local-lockfiles

.github/workflows/stale.yml

@@ -21,10 +21,10 @@ jobs:
     steps:
       - uses: actions/stale@5bef64f19d7facfb25b37b414482c7164d639639 # v9.1.0
         with:
-          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 365 days of inactivity. Leave a comment if you want to keep it open.'
-          close-pr-message: 'This PR has been closed because it was inactive for 365 days. If you want to continue working on it, please open a new PR.'
+          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:'
+          close-pr-message: 'This PR has been closed because it was inactive for 180 days. If you want to continue working on it, please open a new PR.'
           days-before-stale: 90
-          days-before-close: 365
+          days-before-close: 180
           stale-pr-label: 'stale'
           exempt-pr-labels: 'keep'
           close-issue-reason: not_planned

Agda.gitignore

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

C++.gitignore

@@ -21,8 +21,6 @@
 *.so
 *.dylib
 *.dll
-*.so.*
-
 
 # Fortran module files
 *.mod
@@ -39,31 +37,5 @@
 *.out
 *.app
 
-# Build directories
-build/
-Build/
-build-*/
-
-# CMake generated files
-CMakeFiles/
-CMakeCache.txt
-cmake_install.cmake
-Makefile
-install_manifest.txt
-compile_commands.json
-
-# Temporary files
-*.tmp
-*.log
-*.bak
-*.swp
-
-# vcpkg
-vcpkg_installed/
-
 # debug information files
 *.dwo
-
-# test output & cache
-Testing/
-.cache/

Global/macOS.gitignore

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

Global/mise.gitignore

@@ -7,5 +7,8 @@ mise.local.toml
 .mise/*.local.toml
 mise/*.local.toml
 
+# https://mise.jdx.dev/dev-tools/mise-lock.html#local-lockfiles
+mise.local.lock
+
 # https://mise.jdx.dev/configuration.html#tool-versions
 #.tool-versions

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

Node.gitignore

@@ -126,9 +126,6 @@ dist
 # Stores VSCode versions used for testing VSCode extensions
 .vscode-test
 
-# pnpm
-.pnpm-store
-
 # yarn v3
 .pnp.*
 .yarn/*

TeX.gitignore

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