Skip to content

Don't skip tools in gitignore#311

Merged
maartenba merged 1 commit intomainfrom
jmdc/tools-out-of-gitignore
Apr 1, 2026
Merged

Don't skip tools in gitignore#311
maartenba merged 1 commit intomainfrom
jmdc/tools-out-of-gitignore

Conversation

@josephdecock
Copy link
Copy Markdown
Member

This caused mcp tools files to not be tracked.

This caused mcp tools files to not be tracked.
@josephdecock josephdecock self-assigned this Apr 1, 2026
@josephdecock josephdecock requested a review from maartenba April 1, 2026 15:53
@josephdecock josephdecock added the enhancement New feature or request label Apr 1, 2026
@maartenba maartenba merged commit 804a463 into main Apr 1, 2026
2 checks passed
@maartenba maartenba deleted the jmdc/tools-out-of-gitignore branch April 1, 2026 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants