Aller au contenu principal

🐙 Gestion repo GitHub

Pour y mettre vos notes et vos exercices de cours.

github.com est sans doute le site le plus courant pour stocker des projets de code.

Il est probable que vous utilisiez ce site quand vous coderez des projets, quelque soit votre discipline.

Pour se créer un compte sur GitHub, suivre le contenu de la recette : Installer les outils

Créer un repo privé

Nous vous donnons ici la procédure pour créer vos propres répo de code associé à votre compte GitHub. Dans le cadre du cours, vos enseignants vont créer pour vous un repo par semaine pour que vous y déposiez vos exercices et vos TPs. Vous n'avez donc pas besoin de créer vos propres repo, mais il peut être intéressant de savoir comment faire :

  1. Aller sur GitHub en étant connecté à votre compte
  2. En haut à droite il y a un bouton "+" : cliquer dessus
  3. Choisir "New repository"
  4. Donner un nom à votre repo, par exemple "420-SN1-Dupont" ou encore "Info-Dupont" ou autre
  5. Cocher "Private" pour que vos notes ne soient pas visibles par tout le monde
    ATTENTION si un autre étudiant copie vos notes publiques vous serez sanctionné pour plagiat
  6. Cocher "Add a README file" pour ajouter un fichier README.md
  7. Cliquer sur "Create repository"

Ajouter un fichier de notes directement depuis GitHub

  1. Sur la page de votre repo, cliquer sur "Add file" puis "Create new file"
  2. Donner un nom à votre fichier qui finit par .md, cela indique qu'il s'agit d'un fichier MarkDown
  3. par exemple "boucles.md" pour tes notes sur les boucles

Cloner, commit, push

Cloner le repo

Il s'agit de faire une copie de travail de votre repo sur votre ordinateur. Cela permet de modifier des projets avec plusieurs fichiers, de travailler dans votre environnement de développement avant de sauver vos modifications.

  1. Cloner le repo sur votre ordinateur, le plus simple est de cliquer sur le bouton vert "Code" puis de choisir "Open with Github Desktop"
  2. Dans Github Desktop, choisir un dossier où cloner le repo

Commit puis Push

  1. Dans Github Desktop, vous verrez les fichiers modifiés
  2. Vous pouvez ajouter un message pour expliquer les modifications
  3. Cliquer sur "Commit to main"
  4. Cliquer sur "Push origin" pour envoyer les modifications sur le serveur GitHub
  5. Vous pouvez vérifier sur le site GitHub que les modifications ont bien été envoyées

ATTENTION Dès que vous avez complété quelque chose d'utile, vous pouvez en faire un commit et le pousser sur GitHub. Cela vous permettra de ne pas perdre votre travail.