Polish copyright job a bit
-
Skip files named
.gitignore
wherever they are found. This is because they are useful as placeholders to ensure otherwise empty directories are created when checking out a revision. It's quite unlikely that any non-trivial.gitignore
file would ever contain a copyright message. -
Remove the leading
./
in the list of problematic files printed in the case of job failure. This is for consistency with other jobs, which increasingly omit it from filespecs they report.This is achieved by using
* .[!.]*
as the globs to start searching from. Technically, this should be* .[!.]* ..?*
to match everything except.
and..
, but in practice filenames beginning with two dots are extremely rare, so this would normally result in‘..?*’: No such file or directory
being printed to stderr. It's unlikely that either of the others will produce such an error: there's always at least one file with one leading dot (.gitlab-ci-yml
) and it's hard to imagine a useful repository containing only files with one leading dot.Leading
./
is still accepted inCOPYRIGHT_WHITELIST
speifications for compatibility reasons.