Merge branch 'dev'

# Conflicts:
#	.gitlab-ci.yml

.gitlab-ci.yml

@@ -33,8 +33,12 @@ production:
     - git add .
     - git commit -m "New version from ${COMMIT_TIME}"
     - git push origin main
+  environment:
+    name: production
+    url: https://tailorbird3d.rwth-aachen.de/
   only:
     - main
+  when: manual
 
 pages:
   script:
@@ -53,5 +57,8 @@ pages:
     paths:
       - public
     expire_in: "500"
+  environment:
+    name: testing
+    url: https://kg.pages.git-ce.rwth-aachen.de/tailorbird
   only:
     - dev