move gitlab CI config

.gitlab-ci.yml.example

@@ -0,0 +1,13 @@
+stages:
+  - update
+
+update:
+  stage: update
+  rules:
+    - if: $CI_PIPELINE_SOURCE == "schedule"
+  before_script:
+    - git config --global user.email "git@git.fginfo.tu-bs.de"
+    - git config --global user.name "Gitlab CI"
+  script:
+    - ./update < pads.txt
+    - git push "https://${GITLAB_USER_NAME}:${CI_ACCESS_TOKEN}@${CI_REPOSITORY_URL#*@}" "HEAD:${CI_COMMIT_REF_NAME}" -o skip-ci