Gestion des dépôts distants

Remote

Mot clé pour identifier les repos distants.
`git remote [operation]`

Lister les dépôts : `git remote` / `git remote -v`

Ajouter un nouveau dépôt distant :
`git remote add [nom_court] [url]`
`git remote add github https://github.com/test.git`

Suppression d'un dépôt : `git remote rm github`

Fetch : Consulter les modifications distantes

Récupère les nouveaux commits.

Ne met pas à jour les branches locales.

Sans risques !

Pull: récupérer les modifications distantes

Avoir un workspace propre : pas de modification en cours.

git pull : récupère les modifications et les merge dans le dépôt local immédiatement. Intéressant si aucun commit local.

git pull --rebase : récupère les modifications et les replace dans l'ordre (date) par rapport au commit locaux.
Solution préconisée dans tous les cas.

git config --global pull.rebase = true

pull vs pull --rebase

Envoyer les modifications

git push

par défaut pousse la modification sur la branche courante.
rejeté si quelqu’un a fait un push avant.
la fusion au préalable est obligatoire via git pull --rebase.

En résumé

git clone <url> pour récupérer un nouveau dépôt.
git pull --rebase pour récupérer des modifications serveurs (le workspace doit être propre).
git push envoie les nouveaux commits (le workspace doit être à jour avec le serveur).

4.4 KiB Raw Blame History Unescape Escape