doc.{py,sh} to autodeploy doc from gepgitlab artifacts

scripts/doc.py

+#!/usr/bin/env python3
+
+import os
+from pathlib import Path
+from zipfile import ZipFile
+from io import BytesIO
+import requests
+
+DOC = Path('/net/cetus/data/gepetto/Doc')
+GITLAB = 'https://gepgitlab.laas.fr'
+VERSION = '16.04'
+
+PR_NS_BR = [
+    ('pinocchio', [
+        ('gsaurel', [
+            'autodeploy-doc',
+        ]),
+    ]),
+]
+
+for project, namespaces in PR_NS_BR:
+    for namespace, branches in namespaces:
+        for branch in branches:
+            path = DOC / namespace / project / branch
+            path.mkdir(parents=True, exist_ok=True)
+            r = requests.get(f'{GITLAB}/{namespace}/{project}/-/jobs/artifacts/{branch}/download',
+                             {'job': f'robotpkg-{project}-{VERSION}'}, stream=True)
+            ZipFile(BytesIO(r.content)).extractall(str(path))

scripts/doc.sh

+#!/bin/bash
+
+set -e
+
+cd /net/cetus/data/gepetto/Doc
+
+for namespace in *; do
+    pushd $namespace
+    for project in *; do
+        pushd $project
+        for branch in *; do
+            pushd $branch
+            [[ -d doc/doxygen-html ]] || continue
+            cp -r doc/doxygen-html/* .
+            rm -r doc
+            popd
+        done
+        popd
+    done
+    popd
+done