Cloner le dépôt gitlab localement

Le plantage de vendredi soir était dû à un nombre de requêtes trop important sur le gitlab inria, ce qui nous a valu un ban ip du serveur…

Pour un quick fix j’ai déplacé le fichier d’initialisation sur github : Switch to github because of too many request ban on gitlab Inria (56a650e9) · Commits · learninglab / mooc-scikit-learn / mooc-scikit-learn-apps · GitLab

Mais ce n’est probablement pas une solution pérenne. Avec @lfarhi nous pensions cloner le dépôt localement sur le serveur et le copier dans l’environnement des apprenants. Ce qui implqiue quelques changements dans le fichier init_notebooks.py et surtout un pull manuel à chaque changement dans le dépôt github…

Qu’en pensez-vous ?

Ca marche. On peut eventuellement faire un cron job pour faire un git pull toute les 10 min.

Oui ok alors je vais faire ça.