Connecter GitHub

GradePush utilise une GitHub App par installation pour la connexion, les opérations sur les dépôts et la réception des événements GitHub.

#Créer la GitHub App

Terminez d’abord l’installation. Dans l’assistant, choisissez le propriétaire de l’application et poursuivez vers GitHub pour confirmer la configuration générée. Revenez dans GradePush et connectez-vous pour terminer la configuration de l’établissement.

L’adresse de votre GradePush doit être accessible publiquement en HTTPS.

#Examiner les permissions

Examinez les permissions affichées par GitHub avant de confirmer. GradePush a besoin d’un accès pour créer les dépôts de devoirs, configurer les tests et récupérer les résultats.

#Connecter une organisation

Comme enseignant autorisé, ouvrez Paramètres → Organisations, installez ou sélectionnez la GitHub App de l’établissement et confirmez l’organisation. Le compte qui effectue la connexion doit être un propriétaire actif de l’organisation sur GitHub.

Chaque enseignant connecte son compte GitHub et rejoint les classes sur invitation.

#Vérifier la connexion

Créez votre première classe et votre premier devoir. Après l’acceptation du devoir par un étudiant, ouvrez le lien du dépôt pour vérifier qu’il est prêt.