Skip to content

Conversation

blackheaven
Copy link

This aimes to fix #4665.

Note that I directly calling git, as th gitignore format is non-trivial.

I can roll a partial parsing implementation if requested.

@blackheaven blackheaven requested a review from wz1000 as a code owner October 4, 2025 16:42
@blackheaven blackheaven force-pushed the ghcide/use-gitignore branch from 2b9c0f1 to 013cd7b Compare October 4, 2025 16:46
@blackheaven blackheaven force-pushed the ghcide/use-gitignore branch from 013cd7b to 5db38c5 Compare October 4, 2025 16:52
@blackheaven
Copy link
Author

I don't think the CI failure is related to my PR.

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.

typecheck should ignore .gitignore-ed files
1 participant