Ajouter mon profil

[lilblueyes]

Description

J'ai ajouté PROFILE.md afin de pratiquer mon premier cycle de contribution sur GitHub.

[github-actions]

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 exact : Ajouter mon profil	✅
Description non vide	✅

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

[github-actions]

É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 principaux onglets d'une PR.

Les quatre vues utiles 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.

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. Ouvre Checks et vérifie que les automatisations ont terminé.
4. Reviens dans Conversation.

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.

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.

   

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]

Bilan : tu as terminé GitHub Basics

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

Le cycle que tu viens de pratiquer

1. Dépôt : le projet et son historique.
2. Branche : une version parallèle utilisée pour préparer un changement.
3. Fichier Markdown : un fichier texte structuré, ici PROFILE.md.
4. Commit : un enregistrement identifié de modifications dans l'historique.
5. Pull request : une proposition pour intégrer une branche dans une autre.
6. Diff : la vue exacte des lignes modifiées par cette proposition.
7. Check : une vérification automatique.
8. Review : une relecture humaine du changement.
9. 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.

Une Issue est un fil de suivi utilisé pour discuter d'une tâche, d'un bug ou d'un objectif. Dans ce cours, l'Issue servait de journal de progression jusqu'à l'ouverture de ta pull request.

Quelques habitudes à garder

• crée une branche pour isoler ton travail ;
• écris des commits compréhensibles ;
• 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.

Et maintenant ?

Tu peux continuer avec :

• les commentaires et suggestions de review ;
• les Issues pour organiser le travail ;
• GitHub Actions pour automatiser tests et validations ;
• les conflits de merge et le rebase ;
• les tags et releases.

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

Le plus important n'est pas de mémoriser tous les boutons. Retient surtout le cycle :

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