From 40c1f09b8078945c20a5b065fd44c410d094e2ad Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 27 Jul 2021 23:07:30 -1000
Subject: [PATCH] ;ci: push: notes

---
 .github/workflows/push.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 15332f81e..8085f4bdb 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -17,8 +17,12 @@ on:
       - 'hledger-ui/**'
       - 'hledger-web/**'
       - 'bin/*.hs'
-      # ignore changes to example files, though currently some func tests depend on them
       - 'examples/**'
+
+      # ignore certain boring paths completely (even if the commit message didn't begin with ;).
+      # XXX it would still be nice to check the commit messages.
+      #
+      # ignore changes to (most?) example files, though some func tests depend on them
       - '!**.journal'
       - '!**.j'
       - '!**.ledger'