Merge pull request #4834 from wispgitgecko9/patch-2

Update macOS.gitignore
Revert change to Icon rule
2026-11-03 16:42:00 +01:00 · 2026-04-07 20:04:22 -07:00 · 2026-04-07 20:02:07 -07:00 · 2026-04-06 09:43:23 -07:00 · 2026-04-06 09:41:52 -07:00 · 2026-04-06 18:38:27 +02:00
9 changed files with 47 additions and 5 deletions
@@ -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 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.'
+          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.'
          days-before-stale: 90
-          days-before-close: 180
+          days-before-close: 365
          stale-pr-label: 'stale'
          exempt-pr-labels: 'keep'
          close-issue-reason: not_planned
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -21,6 +21,8 @@
 *.so
 *.dylib
 *.dll
+*.so.*
+

 # Fortran module files
 *.mod
@@ -37,5 +39,31 @@
 *.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/
@@ -1,5 +1,6 @@
 # General
 .DS_Store
+.localized
 __MACOSX/
 .AppleDouble
 .LSOverride
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
@@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/wrapper/#usage-without-binary-jar
+# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
 .mvn/wrapper/maven-wrapper.jar

 # Eclipse m2e generated files
@@ -4,3 +4,6 @@ result-*

 # Ignore automatically generated direnv output
 .direnv
+
+# Ignore NixOS interactive test driver history
+**/.nixos-test-history
@@ -126,6 +126,9 @@ dist
 # Stores VSCode versions used for testing VSCode extensions
 .vscode-test

+# pnpm
+.pnpm-store
+
 # yarn v3
 .pnp.*
 .yarn/*
@@ -75,6 +75,11 @@ acs-*.bib
 # comment
 *.cut

+# context
+*.tuc
+*.tui
+*.tuo
+
 # cprotect
 *.cpt
Author	SHA1	Message	Date
Devin Dooley	c677dd99d4	Merge pull request #4834 from wispgitgecko9/patch-2 Update macOS.gitignore	2026-04-07 20:04:22 -07:00
Devin Dooley	a78658650d	Revert change to Icon rule	2026-04-07 20:02:07 -07:00
Devin Dooley	e9c620b9f6	Merge pull request #4837 from haras-unicorn/feat-nix-ignore-nixos-test-history feat(nix): ignore nixos test history	2026-04-06 09:43:23 -07:00
Devin Dooley	5853962226	Merge pull request #4826 from gxono/patch-1 TeX: add ConTeXt utility cache file (.tuc, .tui & tuo)	2026-04-06 09:41:52 -07:00
haras	c5bf3caf29	feat(nix): ignore nixos test history	2026-04-06 18:38:27 +02:00
Devin Dooley	7514684825	Merge pull request #4835 from ysmartin/patch-1 Fix comment URL for Maven wrapper usage	2026-04-06 09:32:48 -07:00
Devin Dooley	ad49657df2	Merge pull request #4836 from T1ckbase/fix/cpp-gitignore-whitespace Remove trailing whitespace in C++.gitignore	2026-04-06 09:30:03 -07:00
T1ckbase	9ffced6030	Remove remaining trailing whitespace in C++.gitignore	2026-04-05 03:24:04 +08:00
T1ckbase	49990d1d63	Remove trailing whitespace in C++.gitignore	2026-04-05 03:15:27 +08:00
ysmartin	3d21cef359	Fix comment URL for Maven wrapper usage Updated the URL and fragment in the comment for Maven wrapper usage.	2026-04-04 14:47:28 +02:00
WiSP	6a7b122e75	Update macOS.gitignore Added .localized file to the gitignore.	2026-04-03 21:59:36 -05:00
Jonatán Perren	de90107f1a	TeX: add ConTeXt utility cache file (.tuc, .tui & tuo) ConTeXt generates .tuc files (utility cache) during each run. These can be removed using the command line [--purgeall](https://wiki.contextgarden.net/Input_and_compilation/Executable_scripts_and_auxiliary_files/context_script#--purgeall). ConTeXt MKII generates .tui and .tuo with the generation of [ToC](https://wiki.contextgarden.net/Document_structure_and_headlines/Table_of_contents). These files store document metadata between compilations and are not part of the source, so they should be ignored.	2026-04-03 22:06:17 -03: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
Jonatán Perren	9aa86b4610	TeX: add ConTeXt utility cache file (.tua & .tuc) ConTeXt generates .tua and .tuc files (utility cache) during each run. These files store document metadata between compilations and are not part of the source, so they should be ignored.	2026-03-27 21:24:28 -03:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
Tim Hunter	b4105e73e4	Merge pull request #4707 from stone-w4tch3r/patch-1 Add .pnpm-store to Node.gitignore	2026-02-12 09:50:51 -08:00
Daniel Johnson	53fee13f20	Merge pull request #4790 from github/bump-stale-close-time Extend stale PR closure period to 365 days	2026-01-23 13:57:13 -08:00
Daniel Johnson	01714f2f2d	Update stale PR messages and inactivity duration comments	2026-01-23 13:27:06 -08:00
Daniel Johnson	e07ecef472	Extend stale PR closure period to 365 days Updated the days before closing stale PRs from 180 to 365. Due to internal priorities we need to allow more time for PR reviews. Based on my reading, we need to increase `days-before-close` to ensure that any PR marked with the `stale` label currently benefits from the extension. Once we are caught up on the backlog, we can revisit this setting.	2026-01-23 13:24:58 -08:00
Tim Hunter	96a44720e8	Merge pull request #4752 from moezgwall/improve-cpp-gitignore Improve C++.gitignore	2026-01-13 13:40:39 -08:00
moez chroufa	63c110e757	Improve C++.gitignore	2025-11-04 01:11:48 +01:00
Данил Б	b238aa7039	Add .pnpm-store to Node.gitignore	2025-08-12 03:11:59 +05:00