From de24c4729a3fd640310d371a5f973ef82decc7c7 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Tue, 8 Sep 2020 16:21:20 +0200
Subject: [PATCH] Clena-up

---
 .github/workflows/delete_doc.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/delete_doc.yml b/.github/workflows/delete_doc.yml
index 64d7a7f2a77..73013cd5ba1 100644
--- a/.github/workflows/delete_doc.yml
+++ b/.github/workflows/delete_doc.yml
@@ -33,6 +33,5 @@ jobs:
          EOF
          )>> ~/.ssh/known_hosts
          PR_NUMBER=$(python -c "import json; import os; y = json.load(open(os.environ['GITHUB_EVENT_PATH'])); print(y[\"number\"])")
-         #ssh mgimeno@cgal.geometryfactory.com rm -rf /home/mgimeno/public_html/cgal.github.io/${PR_NUMBER}
          ssh mgimeno@cgal.geometryfactory.com "cd /home/mgimeno/public_html/cgal.github.io && rm -rf ${PR_NUMBER} && git rm -r ${PR_NUMBER} && git commit -a -m 'Remove a directory' && git push origin master"