Merge e7a14e38da into 248de8ed97

Merge pull request #4786 from christianbraeunlich/feature/al-bclicense
[AL] Ignore .bclicense file
2026-08-29 11:17:23 +02:00 · 2026-04-20 13:13:54 -07:00 · 2026-04-20 13:13:29 -07: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
3 changed files with 15 additions and 1 deletions
--- a/AL.gitignore
+++ b/AL.gitignore
@ -16,7 +16,8 @@
 rad.json
 #Translation Base-file
 *.g.xlf
-#License-file
+#License-files
+*.bclicense
 *.flf
 #Test results file
 TestResults.xml
--- 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
Author	SHA1	Message	Date
Habetdin	0d3bc139e9	Merge `e7a14e38da` into `248de8ed97`	2026-04-20 13:13:54 -07:00
Devin Dooley	248de8ed97	Merge pull request #4786 from christianbraeunlich/feature/al-bclicense [AL] Ignore .bclicense file	2026-04-20 13:13:29 -07: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
Christian Bräunlich	98608a890a	Merge branch 'github:main' into feature/al-bclicense	2026-01-18 08:55:47 +01:00
christianbraeunlich	63caeed028	Merge branch 'github:main' into feature/al-bclicense	2022-05-22 00:54:08 +02:00
Christian Bräunlich	14fea44fd5	correct to plural	2022-04-25 20:24:26 +02:00
Christian Bräunlich	be40b2ed2c	ignore bclicense files	2022-04-25 20:14:55 +02:00