Skip to content

chore: ignore .task/ workdir - #6

Merged
ThomasHartDev merged 1 commit into
mainfrom
thomas/chore/gitignore-task
Jul 18, 2026
Merged

chore: ignore .task/ workdir#6
ThomasHartDev merged 1 commit into
mainfrom
thomas/chore/gitignore-task

Conversation

@ThomasHartDev

Copy link
Copy Markdown
Owner

small hygiene bit. the local task-contract tooling drops a .task/ dir in the repo root and it was tripping prettier --check, so ignore it in both git and prettier.

@ThomasHartDev
ThomasHartDev merged commit d46152d into main Jul 18, 2026
1 check passed
@ThomasHartDev
ThomasHartDev deleted the thomas/chore/gitignore-task branch July 18, 2026 22:37
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.

1 participant