From 9e29edb42cf63b0ae3ba696550d9975f71ba8411 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Wed, 7 Jul 2021 15:10:09 +0200
Subject: [PATCH] Fix condition for push

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

diff --git a/.github/workflows/delete_doc.yml b/.github/workflows/delete_doc.yml
index d648a601e91..38dbc242e31 100644
--- a/.github/workflows/delete_doc.yml
+++ b/.github/workflows/delete_doc.yml
@@ -25,8 +25,8 @@ jobs:
          if [ -d ${PR_NUMBER} ]; then 
            git rm -r ${PR_NUMBER} 
          fi
-         #git diff exits with 1 if there is a diff
-         if ! git diff --quiet; then
+         #git diff exits with 1 if there is no diff
+         if  git diff --quiet; then
            git commit -a --amend -m"base commit" && git push -f -u origin master
          fi