Merge 0329c22a3d into 24b539acec

Merge pull request #2807 from lorenzleutgeb/patch-1
Create HOL.gitignore
2026-11-08 11:00:50 +01:00 · 2026-04-20 12:37:53 -05:00 · 2026-04-20 09:42:33 -07:00 · 2026-04-20 09:32:49 -07:00 · 2026-04-20 09:11:43 +02:00 · 2026-04-18 18:24:37 +02:00
3 changed files with 18 additions and 0 deletions
@@ -0,0 +1,2 @@
 .sisyphus/*
 !.sisyphus/rules/
@@ -19,3 +19,8 @@ target
 #  and can be added to the global gitignore or merged into this file.  For a more nuclear
 #  option (not recommended) you can uncomment the following to ignore the entire idea folder.
 #.idea/
 # These are crash reports automatically generated by the Rust compiler (rustc) when it 
 # encounters an internal compiler error (ICE) - essentially a bug in the compiler itself, 
 # not your code. The filename pattern is rustc-ice-<timestamp>-<pid>.txt.
 rustc-ice-*.txt
@@ -0,0 +1,11 @@
 *Script
 # Holmake generated files
 *Theory.sig
 *Theory.sml
 *.uo
 *.ui
 # Holmake auxiliary files
 .hollogs
 .HOLMK
Author	SHA1	Message	Date
Alyssa Evans	1113d8e98d	Merge `0329c22a3d` into `24b539acec`	2026-04-20 12:37:53 -05:00
Devin Dooley	24b539acec	Merge pull request #2807 from lorenzleutgeb/patch-1 Create HOL.gitignore	2026-04-20 09:42:33 -07:00
Devin Dooley	25713eb3a5	Merge pull request #4808 from malheleco/oh-my-opencode Add gitignore to exclude sisyphus directory files (oh-my-openagent formerly known as oh-my-opencode)	2026-04-20 09:32:49 -07:00
Bernd	5f5a92fcfe	move gitignore template due to PR feedback	2026-04-20 09:11:43 +02:00
Lorenz Leutgeb	b42312254f	Create HOL.gitignore	2026-04-18 18:24:37 +02:00
Bernd	a850db9d75	Add gitignore to exclude sisyphus directory files oh-my-opencode excludes the sisyphus working directory in their own repo, so it seems to be best practice. Also, the directory captures agent/runtime state, so it should not be shared.	2026-03-03 16:51:34 +01:00
Alyssa Evans	0329c22a3d	Update Rust.gitignore to include rustc-ice files Add pattern to ignore Rust compiler crash reports	2025-12-16 08:40:26 -08:00