GitHub actions: do not run action twice on PRs for real.

Signed-off-by: Jérôme Benoit <jerome.benoit@sap.com>

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 879fe8c5d86eeff6ed4c93067140962b5e265fa0..f935d91cd90dcb3ddcb786179145c1150b60b983 100644 (file)
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -2,7 +2,7 @@ name: Lint CI
 
 on:
   push:
-    branches-ignore:
+    branches:
       - master
   pull_request:
     branches: