Un élève peut-il modifier les tests sur lesquels il est noté ?

Non. Les fichiers de tests masqués ne lui sont jamais donnés, et chaque fois que son travail est testé ou noté, vos fichiers masqués et protégés sont remis depuis la tâche. Modifier un test dans son propre dépôt ne change que ce qu’il voit.

Les élèves ont-ils besoin d’un compte GitHub ?

Non. Git fait partie de la plateforme, avec le compte qu’ils utilisent déjà, et les dépôts sont sur nos serveurs et non sur ceux de GitHub.

Quelqu’un d’extérieur à l’établissement peut-il voir le code d’un élève ?

Non. Chaque dépôt est privé et le reste. Seules les personnes ajoutées par son propriétaire peuvent le voir, et personne ne peut parcourir le serveur sans être connecté.

Que deviennent les dépôts quand un élève s’en va ?

Son accès à Git est coupé quand son compte est supprimé ou suspendu, et les dépôts sont conservés tels quels : restaurer le compte les lui rend.

Des dépôts Git pour chaque élève et chaque enseignant, hébergés pour votre établissement

La gestion de versions fait partie du programme d’informatique et de tous les métiers de la programmation, et la manière habituelle de l’enseigner est un compte GitHub par élève, qu’un élève de moins de treize ans ne peut pas avoir et qu’un établissement doit expliquer aux parents. Ici, il n’y a rien à créer : Git fait partie de la plateforme, derrière la même connexion.

Chaque membre du personnel et chaque élève d’un établissement qui utilise la plateforme peut ouvrir Git depuis la barre, créer des dépôts, y envoyer son code depuis son propre ordinateur et les partager avec qui il veut. Il s’agit du logiciel libre Gitea, que nous exploitons sur un serveur à nous plutôt que chez un tiers : le code d’un élève n’est confié à personne d’autre.

Qui y a accès

Le personnel et les élèves d’un établissement. Pas les leçons du Public college, que chacun peut ajouter avec un compte personnel, pas un compte individuel qui apprend seul, ni les administrateurs système du site. Un établissement suspendu, ou un compte suspendu ou en attente de suppression, ne peut pas ouvrir Git tant que la mesure n’est pas levée, et ses dépôts sont conservés tels quels.

Rien n’est à configurer à la main : le compte Git d’une personne est créé la première fois qu’elle l’ouvre, avec son nom sur la plateforme. Supprimer un compte ici coupe son accès à Git au même moment, et le restaurer depuis les éléments supprimés le rétablit.

Cliquez sur Git dans la barre. La page Git indique si vous y avez accès et quel est votre nom d’utilisateur Git.
Cliquez sur « Ouvrir Git ». Vous êtes connecté à Git avec votre compte de la plateforme. Il n’y a pas de second mot de passe.
Créez un dépôt. Chaque dépôt est privé et le reste : seules les personnes que vous ajoutez peuvent le voir.

Envoyer son code depuis son propre ordinateur

Git sur un portable ou un poste de salle informatique dialogue avec le serveur en HTTPS à l’aide d’un jeton d’accès, jamais d’un mot de passe. Créez-en un dans Git, sous Settings, Applications, donnez-lui accès aux dépôts et utilisez-le comme mot de passe la première fois que `git push` le demande. Votre nom d’utilisateur Git figure sur la page Git.

Un jeton peut être retiré à tout moment sur la même page, et cesse de fonctionner de lui-même si votre compte est supprimé, suspendu ou quitte l’établissement.

Un envoi peut atteindre 100 Mo, et Git LFS accepte des fichiers jusqu’à 100 Mo chacun. Il n’y a pas de SSH, volontairement : le HTTPS passe par un réseau scolaire qui bloque tout le reste.

Limites, et lieu de stockage

Chaque compte peut créer jusqu’à 50 dépôts. Nous examinons les comptes qui dépassent 1 Go au total et en parlons avec l’établissement avant toute mesure.

Les dépôts sont conservés sur un serveur que nous exploitons nous-mêmes, avec une copie faite chaque nuit. Les gros fichiers, les images et les pièces jointes sont conservés avec eux.

Les tâches de code et Git

Une tâche de code peut être chargée depuis un dépôt, avec ses fichiers de tests cachés aux élèves, et une tâche peut donner à chaque élève son propre dépôt privé à cloner, valider et envoyer. Chacune a sa propre page : Créer un devoir de programmation à partir d’un dépôt Git, et Donner à chaque élève un dépôt Git à cloner, valider et envoyer.

Questions fréquentes

Un élève peut-il modifier les tests sur lesquels il est noté ?: Non. Les fichiers de tests masqués ne lui sont jamais donnés, et chaque fois que son travail est testé ou noté, vos fichiers masqués et protégés sont remis depuis la tâche. Modifier un test dans son propre dépôt ne change que ce qu’il voit.
Les élèves ont-ils besoin d’un compte GitHub ?: Non. Git fait partie de la plateforme, avec le compte qu’ils utilisent déjà, et les dépôts sont sur nos serveurs et non sur ceux de GitHub.
Quelqu’un d’extérieur à l’établissement peut-il voir le code d’un élève ?: Non. Chaque dépôt est privé et le reste. Seules les personnes ajoutées par son propriétaire peuvent le voir, et personne ne peut parcourir le serveur sans être connecté.
Que deviennent les dépôts quand un élève s’en va ?: Son accès à Git est coupé quand son compte est supprimé ou suspendu, et les dépôts sont conservés tels quels : restaurer le compte les lui rend.