Skip to content

Conversation

@mazunki
Copy link
Contributor

@mazunki mazunki commented Nov 7, 2025

I only recognized ripgrep was excluding files because I knew it should have included some files that it gladly ignored. Since they showed up in grep -rn I had to bisect the issue.

It is not clear why this was required in the first place, and the commit (312b199) doesn't really explain why. Since it causes issues with tools such as fd or rg that parse .gitignore for exclusion/inclusion, we might as well revert it.

One could argue these tools should look at git ls-files instead of only .gitignore, but unless we have a reason to ignore all files without an extension this seems like a more natural choice to avoid any issues: we have 75 files in our project without an extension, and creating new files won't show up in git status or git diff either.

It is not clear why this was required in the first place, and it causes
issues with tools such as `fd` or `rg` that parse .gitignore for
exclusion/inclusion.
Copy link
Contributor

@alfreb alfreb left a comment

Choose a reason for hiding this comment

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

Makes sense - could be as simple as someone in the past having checked in binaries by accident, more than once 😬

@alfreb alfreb merged commit 577d8d8 into includeos:main Nov 8, 2025
@mazunki
Copy link
Contributor Author

mazunki commented Nov 8, 2025

Yep. Probably something like that.

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