Merge 37894c00cd into 24b539acec

Merge pull request #2807 from lorenzleutgeb/patch-1
Create HOL.gitignore
2026-08-30 03:37:05 +02:00 · 2026-04-20 19:01:12 +02: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/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
--- a/community/UTAU.gitignore
+++ b/community/UTAU.gitignore
@ -21,7 +21,7 @@
 *.vs4ufrq
 # UTAU related tools
-$read
+\$read
 *.setParam-Scache
 *.lbp
 *.lbp.caches/*
Author	SHA1	Message	Date
oxygen dioxide	a8e75fd075	Merge `37894c00cd` into `24b539acec`	2026-04-20 19:01:12 +02: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
oxygen dioxide	37894c00cd	Merge branch 'github:main' into utau	2026-01-29 08:48:42 +08:00
Lin Tianshu	9b412a44f6	Merge branch 'github:main' into utau	2025-12-01 06:24:21 +08:00
oxygen-dioxide	2e155fb61f	Update UTAU.gitignore	2025-08-31 16:09:35 +08:00