From d49b47e201a6a0e8acf9cb1dce0a6768ccaef3d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Fern=C3=A1ndez?= <ferferga@hotmail.com>
Date: Sat, 26 Oct 2024 21:02:29 +0200
Subject: [PATCH] Fix syntax error in push workflow

Somehow I missed this for quite some time, sorry!
---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 93e3e09f1f..0e4067f2ac 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -55,4 +55,4 @@ jobs:
     secrets: inherit
     with:
       branch: ${{ github.ref_name }}
-      comment: 
+      comment: false