Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't scan common symlinks and use github-pr-annotations
We have an excessive symlink farm pointint at guides/common, vale rescans that every time when scanning the individual guides, which makes it super slow (35min on my laptop), excluding the links in guides/doc-* makes it quite fast (90sec on my latop) as it now only scans guides/common once. Also exclicitly use the github-pr-annotations reporter, which works w/o elevated GITHUB_TOKEN privileges and thus also from forked repos.
- Loading branch information