DONE: TP2-historique

Importation du dumb-project dans gitlab.ensimag.fr
Ajout de quelques détails dans les exercices en plus
minted

FormaContinue_MeteoAvril2021/organisation/programme.org

@@ -3,7 +3,7 @@ fondamentaux de l'outil et aux principales manipulations. L'accent
 sera mis sur les moyens pour faciliter la maintenance à long terme. En
 particulier la gestion des branches.
 
-* TODO POUR LA MISE EN LIGNE [4/11]
+* TODO POUR LA MISE EN LIGNE [5/11]
  - [ ] Intro à git: revoir l'historique
  - [X] Image docker pour compiler le latex
  - [X] configurer le gitlab pour mettre en ligne automatiquement
@@ -15,7 +15,7 @@ particulier la gestion des branches.
  - [X] nettoyage des deux tp1 (pour le passer à gitlab et minted,
    prendre celui de l'ensimag Unix)
  - [X] CC-BY-SA dans le template slides
- - [ ] TP2 historique: mettre dumb-project dans le gitlab
+ - [X] TP2 historique: mettre dumb-project dans le gitlab
  - [ ] TP2 flow: le passer à gitlab, prendre celui de l'ensimag Unix ou Mosig
  - [ ] TP2 flow: ajouter un pull-request, faut-il creer le deuxième
    par un fork gitlab ?