Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:voelkel/hainrich

.gitlab-ci.yml

+stages:
+    - deploy
+
+pages:
+    stage: deploy
+    image: busybox:latest
+    script:
+        - mkdir .public
+        - cp -r ./* .public
+        - rm -rf public
+        - mv .public public
+
+    artifacts:
+        paths:
+            - public
+    rules:
+        - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
+            
\ No newline at end of file