Merge branch 'develop' into 'master'

Regular merge of develop

See merge request !139

.ci/generateIndex.py

@@ -60,7 +60,7 @@ localroot = os.getcwd()
 
 
 # generate the index properly speaking
-cardDirs = ["internal", "external"]
+cardDirs = ["internal", "external", "policies"]
 sections = []
 
 # determine first the directories

.gitignore

@@ -33,3 +33,4 @@ package.json
 ./theme/package.json
 __pycache__/
 contribute.egg-info/
+policies
\ No newline at end of file

.gitlab-ci.yml

 # In case something goes horribly wrong, you can fall back to `image: ruby:2.5`
-image: git-r3lab.uni.lu:4567/r3/docker/jekyll-lcsb:1.4
+image: git-r3lab.uni.lu:4567/r3/docker/jekyll-lcsb:1.5
 
 stages:
   - build

_config.yml

@@ -71,6 +71,11 @@ defaults:
     values:
       include_link: true
       searchable: 1.0 
+  - scope:  # adding og:image to the SEO's metadata
+      path: ""
+    values:
+      image: /assets/favicon/apple-touch-icon.png
+
 
 
 # Exclude from processing. (no need to touch these)