Skip to content

add AGENTS.md to git export ignore list - #35

Merged
gregor-j merged 1 commit into
mainfrom
34-add-agentsmd-to-git-export-ignore-list
Aug 31, 2026
Merged

add AGENTS.md to git export ignore list#35
gregor-j merged 1 commit into
mainfrom
34-add-agentsmd-to-git-export-ignore-list

Conversation

@gregor-j

Copy link
Copy Markdown
Contributor

No description provided.

@gregor-j gregor-j self-assigned this Aug 31, 2026
@gregor-j gregor-j linked an issue Aug 31, 2026 that may be closed by this pull request
@gregor-j
gregor-j merged commit 0976489 into main Aug 31, 2026
5 checks passed
@gregor-j
gregor-j deleted the 34-add-agentsmd-to-git-export-ignore-list branch August 31, 2026 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

add AGENTS.md to git export ignore list

1 participant