Merge 844333a10b into 24b539acec

Merge pull request #2807 from lorenzleutgeb/patch-1
Create HOL.gitignore
2026-11-05 17:44:46 +01:00 · 2026-04-20 18:43:58 +01: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 65 additions and 0 deletions
@@ -0,0 +1,52 @@
+# AI Agents / Assistants
+AGENTS.md
+GEMINI.md
+WARP.md
+CRUSH.md
+.warp/
+.crush/
+.codeium/
+.deepseek/
+.amazon-codewhisperer/
+
+# Cursor AI (VS Code fork)
+.cursorrules
+.cursor/
+.cursor.json
+.cursor-settings.yaml
+
+# Tabnine AI - per official docs
+.tabnineignore
+.tabnine/
+
+# Continue.dev (Open source AI assistant)
+.continue/
+.continuerc.json
+
+# Aider AI (Terminal-based)
+.aiderignore
+
+# Qwen Code CLI
+QWEN.md
+
+# Claude code
+.claude/
+
+# (purely optional) Gemini settings folder
+.gemini/
+
+# Cline AI Assistant (trending, user configs similar to Cursor/Continue)
+.cline/
+.clinerules
+cline.json
+
+# GitHub Copilot - does not create repo-local files by default
+# .github/copilot-instructions.md
+
+# Windsurf Editor (Agentic IDE) - usually intentional project configs
+# .windsurfrules
+# .windsurf/
+
+# Replit AI Development - usually intentional project configs
+# .replit
+# replit.nix
@@ -0,0 +1,2 @@
+.sisyphus/*
+!.sisyphus/rules/
@@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK
Author	SHA1	Message	Date
Robert Collins	2d1151f294	Merge `844333a10b` into `24b539acec`	2026-04-20 18:43:58 +01: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
Robert Collins	844333a10b	added .claude/ (by popular demand) and .gemini/	2025-10-31 10:43:32 -05:00
Robert Collins	b5bf7e40ff	adds common AI agents and assistants configuration files and folder	2025-08-25 10:36:18 -04:00