Merge branch 'develop' into 'master'

Regular merge of develop

See merge request R3.training/git.slides!28

.gitlab-ci.yml

@@ -11,7 +11,7 @@ pages:
     - mkdir latest
     - mv public/* latest/.
     - mv latest public/.
-    - cp .autoRedirect public/latest/index.html
+    - cp .autoRedirect public/index.html
 
   artifacts:
     paths:
@@ -27,7 +27,7 @@ pages:
     - mkdir stable
     - mv public/* stable/.
     - mv stable public/.
-    - cp .autoRedirect public/stable/index.html
+    - cp .autoRedirect public/index.html
 
   artifacts:
     paths: