Preview ng leksyon

GitHub et les dépôts distants : votre code dans le cloud

Passage du travail local au travail d'équipe : comprenons ce qu'est un dépôt distant, comment lier un dépôt local à GitHub et quelles sont les différences entre push, pull et fetch — les trois commandes les plus souvent confondues. Nous aborderons particulièrement l'authentification par clés SSH, car les employeurs s'attendent à ce que vous sachiez la configurer vous-même.

dépôt distant origin push / pull / fetch

Ano ang matututunan mo sa leksyong ito

Vous saurez créer un dépôt sur GitHub, le lier à votre projet local et publier vos modifications avec la commande push.
Vous comprendrez la différence entre fetch et pull et saurez choisir consciemment entre les deux dans un travail d'équipe.
Vous configurerez l'authentification SSH avec GitHub sans mot de passe — comme le font les professionnels.

Simula ng leksyon

Pourquoi avons-nous besoin de dépôts distants ?

Dépôt local — uniquement sur votre ordinateur
Dépôt distant — stockage cloud pour l'équipe
Tout le monde voit et apporte des modifications au même endroit
Synchronisation en temps réel via Internet

Imaginez que vous travaillez seul sur un projet — un dépôt Git local suffit. Mais dès qu'une équipe est impliquée, un espace partagé devient nécessaire. Le dépôt distant devient le point central de stockage du code, accessible à chaque participant. C'est similaire à Google Docs, où toutes les modifications sont synchronisées en temps réel. Vous voyez les changements de vos collègues, pouvez discuter du code via des pull requests et travailler sur différentes fonctionnalités en parallèle. Sans dépôt distant, le développement en équipe deviendrait un chaos d'archives échangées et de versions de fichiers sans fin.

Comment les dépôts locaux et distants sont-ils liés ?

Origin — nom par défaut du dépôt distant
Push — envoyer des modifications vers le serveur
Pull — récupérer des modifications du serveur
Chaque dépôt est indépendant et contient toute l'historique

Le dépôt local sur votre ordinateur échange des données avec le dépôt distant via deux commandes clés : push et pull. Par défaut, le dépôt distant principal s'appelle origin. Mais il est important de comprendre qu'il ne s'agit pas d'une simple copie de fichiers. Chaque dépôt est indépendant et contient l'historique complet des modifications. Lorsque vous faites des commits localement, ils restent uniquement chez vous jusqu'à ce que vous les envoyiez avec la commande push. Et lorsque vos collègues mettent à jour le code, vous le récupérez via pull pour synchroniser votre travail.

Un dépôt local, plusieurs dépôts distants

Possibilité de connecter plusieurs dépôts distants
Origin — votre fork personnel sur GitHub
Upstream — le dépôt source du projet
Synchronisation facile des modifications entre eux

Votre projet peut être connecté à plusieurs dépôts distants simultanément. Par exemple, origin correspond à votre fork personnel sur GitHub, et upstream au dépôt principal du projet. Cette configuration vous permet d'apporter des modifications à votre copie tout en récupérant facilement les mises à jour de la source originale. C'est particulièrement utile pour travailler sur des projets open-source, où vous devez maintenir votre fork à jour. Vous décidez quand et quels changements récupérer d'upstream vers votre origin. Maintenant que nous comprenons la logique du travail avec les dépôts distants, il est temps de créer le vôtre sur GitHub — et nous allons le faire tout de suite.

# Ajouter un nouveau dépôt distant
git remote add upstream https://github.com/original/project.git

# Voir la liste de tous les dépôts distants
git remote -v

# Récupérer les modifications d'upstream dans la branche locale
git fetch upstream

git checkout main
git merge upstream/main

# Envoyer les modifications vers son origin
git push origin main

Buong leksyon ay para sa subscription

30 pang slide sa buong bersyon.

Mabubuksan ang video, lahat ng slide, tala, pagsusulit, AI tutor, at interview pagkatapos mag-sign in at mag-subscribe.

Mag-sign in o magparehistro Mag-subscribe

Nilalaman ng leksyon

Pourquoi avons-nous besoin de dépôts distants ?
Comment les dépôts locaux et distants sont-ils liés ?
Un dépôt local, plusieurs dépôts distants
Créer un nouveau dépôt sur GitHub
README et licence — votre premier commit
Lier un dépôt local à GitHub
Qu'est-ce que le clonage d'un dépôt ?
Deux méthodes de clonage : HTTPS et SSH
Pratique : Cloner un dépôt
Vérification des paramètres après le clonage
Pourquoi les mots de passe ne sont pas pratiques pour GitHub
Comment fonctionnent les clés SSH
Création d'une clé SSH
Ajout de la clé à GitHub
Envoyer son code dans le cloud : git push
Configurer une branche en amont (upstream)
Résoudre les conflits lors d'un push
Git pull : synchronisation avec le cloud
Comment fonctionne git pull sous le capot
Problèmes courants avec git pull
Pourquoi git pull peut être dangereux
Git fetch : téléchargement sécurisé des modifications
Pratique : examiner les modifications avec fetch
Quand utiliser fetch plutôt que pull
Push sur une branche distante : pourquoi c'est problématique
La bonne méthode : créer sa propre branche pour les modifications
Catastrophe silencieuse : quand un pull efface vos modifications
La commande salvatrice : git stash en action
GitHub : votre placard à code dans le cloud
Configurer une clé SSH : votre passe numérique
Du fork à la Pull Request : travailler en équipe
Pull Request : essence et différence avec un simple push
Récapitulatif et exercice pratique