diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml
index bdde2d0f..1e93377f 100644
--- a/.github/workflows/linting.yml
+++ b/.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 ]