Skip to content

Enhance skill.gitignore with additional comments for clarity#151

Merged
dennisdoomen merged 1 commit into
dennisdoomen:mainfrom
sander1095:feature/explain-skill-gitignore-file
Jun 20, 2026
Merged

Enhance skill.gitignore with additional comments for clarity#151
dennisdoomen merged 1 commit into
dennisdoomen:mainfrom
sander1095:feature/explain-skill-gitignore-file

Conversation

@sander1095

Copy link
Copy Markdown
Contributor

Summary

  • add explanatory comments to the generated skill .gitignore file
  • explain why the file should be kept in source control
  • document how to opt out with false

Closes #150

@dennisdoomen dennisdoomen added the documentation Improvements or additions to documentation label Jun 20, 2026
@dennisdoomen dennisdoomen enabled auto-merge (squash) June 20, 2026 06:19
@dennisdoomen dennisdoomen merged commit a09785e into dennisdoomen:main Jun 20, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Explain the generated skill .gitignore file

2 participants