https://josh-ops.com/posts/github-codeql-ignore-files/