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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make gitignore.rs's gitconfig_excludes_path public #2482

Conversation

Eric-Arellano
Copy link
Contributor

In Pantsbuild, we use GitignoreBuilder to determine which files our file watcher should look at.

We want to improve the file watcher to consider the global gitignore file. It would be exceptionally useful if we could reuse your logic: pantsbuild/pants#18649

P.S. Thanks for ripgrep! You've saved me so much time 馃檶

Eric-Arellano added a commit to pantsbuild/ripgrep that referenced this pull request Apr 1, 2023
@BurntSushi BurntSushi added the rollup A PR that has been merged with many others in a rollup. label Jul 7, 2023
BurntSushi pushed a commit that referenced this pull request Jul 8, 2023
I have reservations about this, but it looks useful and doesn't seem
terribly onerous to support. The `ignore` crate will really always need
to have some kind of logic supporting this in some form I think.

Closes #2482
@BurntSushi BurntSushi closed this in ad9bfdd Jul 8, 2023
@Eric-Arellano Eric-Arellano deleted the global-gitignore-helper-is-public branch July 9, 2023 14:45
@Eric-Arellano
Copy link
Contributor Author

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR that has been merged with many others in a rollup.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants