ci: Avoiding linting CONTRIBUTORS.yml (#3705)

The file is managed by the `contributors.yml` workflow, no need for linting to be triggered on PRs for that change.

This should ideally skip the required check status for the lint workflow which cannot trigger implicitly for automated PRs. If this doesn't work the change should be reverted.

.github/workflows/linting.yml

@@ -2,6 +2,9 @@ name: Lint
 
 on:
   pull_request:
+    paths-ignore:
+      # Managed by workflow: contributors.yml
+      - CONTRIBUTORS.md
   push:
     branches: [ master ]