Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Make it possible to unignore .gitignore'd files #86

Open
underyx opened this issue Oct 9, 2020 · 0 comments
Open

Make it possible to unignore .gitignore'd files #86

underyx opened this issue Oct 9, 2020 · 0 comments

Comments

@underyx
Copy link
Member

underyx commented Oct 9, 2020 •
edited

Even if we override :include .gitignore in .semgrepignore, semgrep itself ignores those files by default. We could run it with semgrep --no-git-ignore to fix this.
@underyx underyx changed the title Make it possible to ignore .gitignore files Make it possible to ignore .gitignore'd files Oct 9, 2020
@underyx underyx mentioned this issue Nov 12, 2020
Merged
@underyx underyx changed the title Make it possible to ignore .gitignore'd files Make it possible to unignore .gitignore'd files Jan 18, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@underyx