From 55aecb96b966f301660203fe91e399318f6b2a5a Mon Sep 17 00:00:00 2001
From: flynn <maxime.bloch@ugent.be>
Date: Mon, 19 Oct 2020 01:02:40 +0200
Subject: [PATCH] Not needed

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 1d4455d..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-image: pandoc:2.10
-
-stages:
-    - install
-
-
-variables:
-    # Allow git interactions
-    GIT_AUTHOR_NAME: $GITLAB_USER_NAME
-    GIT_AUTHOR_EMAIL: $GITLAB_USER_EMAIL
-    GIT_COMMITTER_NAME: $GITLAB_USER_NAME
-    GIT_COMMITTER_EMAIL: $GITLAB_USER_EMAIL
-
-install:
-    cache: {}
-    stage: install
-    script:
-        # Leave detached git HEAD
-        - git checkout -B "$CI_COMMIT_REF_NAME" "$CI_COMMIT_SHA"
-        # compile every markdown in this folder to pdf
-        - cd activiteiten/2020-2021/
-        - sh ../../scripts/md_to_pdf.sh
-        - git add -A
-        # Commit (note the [skip ci] to avoid loop)
-        - 'git commit -m "chore: render activities [skip ci]"'
-        
-        # Push back to repository
-        - git push --follow-tags --no-verify "https://gitlab-ci-token:$GITLAB_TOKEN@$CI_SERVER_HOST/$CI_PROJECT_PATH.git" "HEAD:$CI_COMMIT_REF_NAME"