From c4be55e82467b13286d5e643363f5bed0de6ad4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Walther?= <raphael@nymtech.net>
Date: Thu, 2 Nov 2023 14:52:30 +0100
Subject: [PATCH] Github actions: remove deployment to website-dev

---
 .github/workflows/cd-docs.yml | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/.github/workflows/cd-docs.yml b/.github/workflows/cd-docs.yml
index 1cf2025534..a5169a3f26 100644
--- a/.github/workflows/cd-docs.yml
+++ b/.github/workflows/cd-docs.yml
@@ -39,18 +39,6 @@ jobs:
         run: cd documentation && ./build_all_to_dist.sh
         continue-on-error: false
 
-      - name: Deploy branch master to dev
-        continue-on-error: true
-        uses: easingthemes/ssh-deploy@main
-        env:
-          SSH_PRIVATE_KEY: ${{ secrets.CD_WWW_SSH_PRIVATE_KEY }}
-          ARGS: "-rltgoDzvO --delete"
-          SOURCE: "dist/docs/"
-          REMOTE_HOST: ${{ secrets.CD_WWW_REMOTE_HOST_DEV }}
-          REMOTE_USER: ${{ secrets.CD_WWW_REMOTE_USER }}
-          TARGET: ${{ secrets.CD_WWW_REMOTE_TARGET }}/
-          EXCLUDE: "/node_modules/"
-
       - name: Post process
         run: cd documentation && ./post_process.sh
         continue-on-error: false