From b10b6d5a103f6a79b852ff2d7c0e4e258171e8ce Mon Sep 17 00:00:00 2001
From: Marco Lipparini <developer@liarco.net>
Date: Tue, 18 Jul 2023 18:39:37 +0200
Subject: [PATCH] Removing pushes to avoid double runs on PRs

---
 .github/workflows/lint.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 9538230..8395f2b 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,5 +1,5 @@
 name: Lint
-on: [push, pull_request]
+on: [pull_request]
 
 jobs:
   lint: