Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: allow ignoring hidden files and files matched by .gitignore files #245

Merged
merged 1 commit into from
Jan 17, 2022

Conversation

vrmiguel
Copy link
Member

@vrmiguel vrmiguel commented Jan 16, 2022

This PR replaces our usage of walkdir by ignore, which allows us to ignore hidden files and files matched by .gitignore files.

ignore also has the ability of creating parallel iterators, which might prove useful in the future

@marcospb19 marcospb19 added the enhancement New feature or request label Jan 17, 2022
Copy link
Member

@marcospb19 marcospb19 left a comment

Choose a reason for hiding this comment

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

Awesome!

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.

None yet

2 participants