Gitlab sera mis à jour le 30/1 entre 12h et 14h. Une indisponibilité est à prévoir.
version des scripts utilisés en 2019-2020 avant mise à jour avec travo et l'utilisation renforcée de gitlab
Version des scripts utilisés en 2018-2019, avec une version de nbgrader spécifique.