From ce221d2a106f975046007a3592217bb1a36f5e3e Mon Sep 17 00:00:00 2001
From: Marco De Donno <marco.dedonno@unil.ch>
Date: Sat, 28 May 2022 21:14:00 +0000
Subject: [PATCH] Delete .gitlab-ci.yml

---
 .gitlab-ci.yml | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index f0ab401..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-stages:
-    - doc
-    - deploy
-
-doc:
-    stage: doc
-    script:
-        - cd ./doc
-        - make html
-        - scp -o StrictHostKeyChecking=no -i ${PROD_KEY} -r ./build/html/* ${PROD_USER}@${PROD_HOST}:${PROD_HTML_DIRECTORY}
-    only:
-        - develop
-
-deploy:
-    stage: deploy
-    script:
-        - echo Deploying production on ${PROD_HOST}...
-        - ssh -o StrictHostKeyChecking=no -i ${PROD_KEY} ${PROD_USER}@${PROD_HOST} ${PROD_SCRIPT} ${CI_COMMIT_REF_NAME}
-- 
GitLab