From 477696ed6d330d24007d0552bc90374a50dfbc85 Mon Sep 17 00:00:00 2001
From: Javier Neira <atreyu.bbb@gmail.com>
Date: Mon, 28 Feb 2022 10:07:38 +0100
Subject: [PATCH] Remove unnecessary if

As github already is not triggering workflows for commits with skip ci
---
 .github/workflows/users-guide.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/users-guide.yml b/.github/workflows/users-guide.yml
index 48e2171233c..29483a564ed 100644
--- a/.github/workflows/users-guide.yml
+++ b/.github/workflows/users-guide.yml
@@ -42,10 +42,6 @@ defaults:
 
 jobs:
   build:
-    if: |
-      !contains(github.event.head_commit.message, '[skip ci]')
-      && !contains(github.event.head_commit.message, '[ci skip]')
-
     runs-on: ubuntu-latest
     strategy:
       matrix: