From ca2c53dde714a5c4d64aebb6724cfb6d87352a54 Mon Sep 17 00:00:00 2001
From: Brennan Kinney <5098581+polarathene@users.noreply.github.com>
Date: Tue, 19 Dec 2023 14:41:07 +1300
Subject: [PATCH] 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 | 3 +++
 1 file changed, 3 insertions(+)

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 ]