Closed buhtz closed 1 month ago
It seems to me that the folder .git is ignored by default when using $ reuse lint.
.git
$ reuse lint
That make sense of course. But the "bug" is that it seems not to be documented anywhere.
The next point is a feature request to add more dirs to ignore (e.g. .github) or a switch to ignore all folders beginning with dot.
.github
Hi @buhtz This is documented here, which reuse lint --help links to.
reuse lint --help
There are no plans to allow custom directories/files to be ignored.
I hope this helps!
It seems to me that the folder
.git
is ignored by default when using$ reuse lint
.That make sense of course. But the "bug" is that it seems not to be documented anywhere.
The next point is a feature request to add more dirs to ignore (e.g.
.github
) or a switch to ignore all folders beginning with dot.