From cab3b4dc1c30b3bf4b2b9037a42ea1fefad29f75 Mon Sep 17 00:00:00 2001
From: Rob Wu <rob@robwu.nl>
Date: Fri, 20 Jan 2023 13:44:03 +0100
Subject: [PATCH] Don't deploy for changes to _minutes/

The content of _minutes/ never affects the publication on the gh-pages
branch. To avoid unnecessary deploy builds when we publish meeting
notes, add `_minutes/**` to the paths to ignore in the deploy workflow.
---
 .github/workflows/deploy.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index f3e3735e..af9f2718 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -7,8 +7,12 @@ on:
   # Triggers the workflow on push or pull request events but only for the main branch
   push:
     branches: [ main ]
+    paths-ignore:
+      - '_minutes/**'
   pull_request:
     branches: [ main ]
+    paths-ignore:
+      - '_minutes/**'
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: