PRs like #2155 are not getting linted. The github workflow needs to be adjusted to also lint on PRs from a forked repo.