gitignore

0 Fork 0

mirror of https://github.com/github/gitignore.git synced 2026-11-05 09:34:38 +01:00

Author	SHA1	Message	Date
AJ Jordan	bc66d4d0c1	Merge `80a98b3d2a` into `24b539acec`	2026-04-20 18:45:53 +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
AJ Jordan	80a98b3d2a	Add Flatpak.gitignore Cribbed directly from the Element Flatpak's .gitignore file at https://github.com/flathub/im.riot.Riot/blob/master/.gitignore, simply because Element is a pretty popular application. Note in particular that this covers all directories that will be created by the Flatpak tutorial's suggested `flatpak-builder` command: https://docs.flatpak.org/en/latest/first-build.html#build-and-install `repo` is the OSTree repository that the built Flatpak will be "published" to for testing, `.flatpak-builder` is an internal build directory, and `builddir` is another, user-specified build directory.	2026-01-04 18:07:16 -05:00

3 changed files with 16 additions and 0 deletions

No files matched your search

Global/OhMyOpenAgent.gitignore

View File

@@ -0,0 +1,2 @@
 .sisyphus/*
 !.sisyphus/rules/

community/HOL.gitignore

+11

View File

@@ -0,0 +1,11 @@
 *Script
 # Holmake generated files
 *Theory.sig
 *Theory.sml
 *.uo
 *.ui
 # Holmake auxiliary files
 .hollogs
 .HOLMK

community/Linux/Flatpak.gitignore

View File

@@ -0,0 +1,3 @@
 .flatpak-builder
 builddir
 repo

Compare commits

No files matched your search