Merge 6328a8da94 into 24b539acec

Merge pull request #2807 from lorenzleutgeb/patch-1
Create HOL.gitignore
2026-08-28 18:57:20 +02:00 · 2026-04-20 17:00:42 +00: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 14 additions and 1 deletions
--- a/Global/OhMyOpenAgent.gitignore
+++ b/Global/OhMyOpenAgent.gitignore
@ -0,0 +1,2 @@
+.sisyphus/*
+!.sisyphus/rules/
--- a/README.md
+++ b/README.md
@ -57,7 +57,7 @@ Include details when opening pull request if the template is important and visib
 may not accept it immediately, but we can promote it to the root at a later date
 based on interest.

-Please also understand that we can’t list every tool that ever existed.
+Please also understand that we can’t list every tool that has ever existed.
 Our aim is to curate a collection of the _most common and helpful_ templates,
 not to make sure we cover every project possible. If we choose not to
 include your language, tool, or project, it’s not because it’s not awesome.
--- a/community/HOL.gitignore
+++ b/community/HOL.gitignore
@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK
Author	SHA1	Message	Date
ysncldrn	19411bc054	Merge `6328a8da94` into `24b539acec`	2026-04-20 17:00:42 +00: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
YasinCaldiran	6328a8da94	Fix grammatical error in README.md	2025-12-16 13:13:06 +03:00