affiche un message d'erreur si aucun repository path n'est défini
ajoute un paramètre de config dans le fichier principal pour gérer l'utilisation de github et de l'eid
config pour l'utilisation de l'eid
remet en place le besoin d'être authentifiés
authentification : corrige la redirection et ajoute les bons droits
remet le tableau en place
affiche les erreurs sur la page de connexion
remet en place l'impression de la checklist
modifications CSS
supprime/ajoute des commentaires, nettoye ici et là
supprime/ajoute des commentaires, nettoye ici et là