Skip to content

Create profile page - #7

Merged
lilblueyes merged 1 commit into
mainfrom
my-first-branch
Sep 25, 2026
Merged

lilblueyes merged 1 commit into
mainfrom
my-first-branch

Conversation

@lilblueyes

Copy link
Copy Markdown
Member

Description

This pull request adds PROFILE.md and completes the web-based introduction exercise.

@github-actions

Copy link
Copy Markdown
Contributor

Vérification de ta pull request

Je vérifie ton travail directement ici pour que tu n'aies pas à retourner dans l'Issue du cours.

Vérification Résultat
Titre suffisamment explicite ✅
Description non vide ✅

Tout est bon. La prochaine étape va apparaître juste en dessous dans cette conversation.

@github-actions

Copy link
Copy Markdown
Contributor

Étape 4 : relire puis merger ta pull request

Ta pull request est valide. La suite se déroule directement ici, dans sa Conversation.

Avant de merger, prends quelques minutes pour comprendre les principales vues d'une PR.

Les principales vues d'une pull request

  • Conversation : le fil de discussion et l'historique des événements de la PR. C'est ici que Mona te parle.
  • Commits : les commits contenus dans ta branche et proposés par cette PR.
  • Checks : les vérifications automatiques exécutées par GitHub Actions ou d'autres outils.
  • Files changed : le diff, c'est-à-dire l'affichage précis des lignes ajoutées, supprimées ou modifiées.
  • Selon la configuration du dépôt, un onglet Findings peut aussi apparaître pour regrouper certains résultats automatiques de revue ou d'analyse.

Une review est la relecture d'une pull request par une autre personne. Elle peut approuver le changement, poser une question ou demander une modification.

Activité : relire ton changement

  1. Ouvre Files changed.
  2. Vérifie que PROFILE.md contient uniquement ce que tu voulais ajouter.
  3. Quand tu as fini de relire ce fichier, marque-le Viewed. GitHub peut ainsi suivre ce que tu as déjà vérifié.
  4. Ouvre Checks et vérifie que les automatisations ont terminé.
  5. Reviens dans Conversation.

Sur un vrai projet, tu peux aussi commenter directement une ligne du diff pendant une review.

Cette relecture est importante : un merge intègre ce qui est affiché dans la PR, pas ce que tu pensais avoir modifié.

Qu'est-ce qu'un merge ?

Un merge intègre les changements de ta branche dans la branche de destination, ici main.

Après le merge, PROFILE.md fera partie de la version principale du dépôt.

Bouton Merge pull request

Activité : merger la pull request

  1. Clique sur Merge pull request.

  2. Clique sur Confirm merge.

  3. Une fois le merge terminé, clique sur Delete branch si GitHub te le propose.

    Bouton Delete branch

Note

Si le bouton de merge est temporairement désactivé, attends la fin des checks puis actualise la page.

Après le merge, reste encore dans cette conversation : Mona y publiera le bilan du cours.

@github-actions github-actions Bot mentioned this pull request Sep 25, 2026
@lilblueyes
lilblueyes merged commit 3260939 into main Sep 25, 2026
6 checks passed
@github-actions

Copy link
Copy Markdown
Contributor

Bilan : tu as terminé GitHub Basics

🎉 Ta première contribution GitHub est mergée.

Octocats collaborant

Le cycle que tu viens de pratiquer

  1. Dépôt : le projet et son historique.
  2. Issue : un fil de suivi pour une tâche, un problème ou un objectif.
  3. Branche : une version parallèle utilisée pour préparer un changement.
  4. Fichier Markdown : un fichier texte structuré, ici PROFILE.md.
  5. Commit : un enregistrement identifié de modifications dans l'historique.
  6. Pull request : une proposition pour intégrer une branche dans une autre.
  7. Diff : la vue exacte des lignes modifiées par cette proposition.
  8. Check : une vérification automatique.
  9. Review : une relecture humaine du changement.
  10. Merge : l'intégration du changement dans main.

Git et GitHub

Git est le système de gestion de versions qui enregistre les commits et les branches.

GitHub héberge les dépôts Git et ajoute les outils de collaboration que tu viens d'utiliser : pull requests, reviews, Issues et GitHub Actions.

Quelques habitudes à garder

  • crée une branche pour isoler ton travail ;
  • relis ce que tu vas committer ;
  • écris ou vérifie un message de commit compréhensible ;
  • explique le but d'une pull request ;
  • lis toujours le diff avant de merger ;
  • regarde les checks avant d'intégrer un changement ;
  • demande une review lorsqu'un second regard est utile.

La suite logique pour le club

Dans ce cours, tu as volontairement utilisé l'interface web pour voir chaque notion séparément.

Dans un vrai projet du club, tu travailleras surtout avec Git en ligne de commande et VS Code. Le prochain tutoriel devra donc reprendre exactement le même cycle, mais depuis une copie locale du dépôt :

clone → branche → modification dans VS Code → git status → git add → commit → push → pull request

Ce sera le bon moment pour introduire proprement dépôt local, staging area, remote origin, push, pull, conflits et résolution dans VS Code.

Documentation officielle : https://docs.github.com/

Le plus important à retenir pour l'instant :

branche → modification → commit → pull request → review/checks → merge

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant