Merge branch 'github:main' into patch-1

This change clarifies how Visual Studio Code workspace files can be optionally ignored in python.gitignore while allowing contributors to track shared settings.json if desired.

.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.'
+          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 365 days. If you want to continue working on it, please open a new PR.'
+          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

@@ -49,14 +49,14 @@ CMakeFiles/
 CMakeCache.txt
 cmake_install.cmake
 Makefile
-install_manifest.txt
+install_manifest.txt 
 compile_commands.json
 
 # Temporary files
-*.tmp
+*.tmp 
-*.log
+*.log 
-*.bak
+*.bak 
-*.swp
+*.swp 
 
 # vcpkg
 vcpkg_installed/
@@ -66,4 +66,4 @@ vcpkg_installed/
 
 # test output & cache
 Testing/
-.cache/
+.cache/

Global/macOS.gitignore

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

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/*

Python.gitignore

@@ -197,9 +197,14 @@ cython_debug/
 # Visual Studio Code
 #   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
 #   that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
-#   and can be added to the global gitignore or merged into this file. However, if you prefer, 
+#   and can be added to the global gitignore or merged into this file.
-#   you could uncomment the following to ignore the entire vscode folder
+#   1. If you prefer, you could uncomment the following to ignore the entire vscode folder
 # .vscode/
+#
+#   2. If you prefer to track shared VS Code settings, you could uncomment the following lines to
+#   include settings.json while ignoring all other files in the .vscode directory.
+# .vscode/*
+# !.vscode/settings.json
 
 # Ruff stuff:
 .ruff_cache/

TeX.gitignore

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