From 4deb873eff149cafcc474e2fde831ce716bb4260 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81kos=20Kiss?= <ak@coram.pub>
Date: Sun, 30 Jul 2023 06:27:51 +0200
Subject: [PATCH] Ignore changes to README on push in CI workflow

---
 .github/workflows/CI.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index f3b3e83..7e85482 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -3,6 +3,8 @@ name: CI
 on:
   push:
     branches: [ "main" ]
+    paths-ignore:
+      - 'README.org'
   pull_request:
     branches: [ "main" ]
   workflow_dispatch: