Skip to content

Issue #306. Ignore folders#307

Merged
la10736 merged 2 commits intola10736:masterfrom
Obito-git:306_ignore_folders
Apr 22, 2025
Merged

Issue #306. Ignore folders#307
la10736 merged 2 commits intola10736:masterfrom
Obito-git:306_ignore_folders

Conversation

@Obito-git
Copy link
Copy Markdown
Contributor

We could ignore the directories in the place where we the check the dot files to be included. I've added two integration tests with both possible cases where the directory is returned.

@la10736
Copy link
Copy Markdown
Owner

la10736 commented Apr 21, 2025

Thanks a lot for your contribute.

Can you introduce a #[dir] attribute to gate out this behavior. Also update docs and add changelog line please.

@Obito-git
Copy link
Copy Markdown
Contributor Author

@la10736 sure!

Copy link
Copy Markdown
Owner

@la10736 la10736 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your work! It was really appreciated.
Amazing job.

@la10736 la10736 merged commit 3f28588 into la10736:master Apr 22, 2025
2 checks passed
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.

2 participants