Mémo Git · Synchroniser
Ajouter un remote
git remote add <nom> <url>
Un remote est un dépôt distant avec lequel tu échanges des commits, en général sur GitHub ou GitLab. git remote add origin <url> le déclare sous le nom « origin ». Un dépôt cloné en a déjà un.
Ce que ça fait
Déclare un dépôt distant avec lequel échanger des commits.
Un cas d'usage
Tu as créé ton dépôt en local et tu veux maintenant le publier sur GitHub.
En ligne de commande
git remote add origin <url>- Déclare le remote principal.
git remote -v- Liste les remotes et leurs URL.
git remote set-url origin <nouvelle-url>- Change l'URL, par exemple pour passer de HTTPS à SSH.
git remote rename <ancien> <nouveau>- Renomme un remote.
git remote remove <nom>- Supprime un remote.
git remote add upstream <url>- Sur un fork, déclare le dépôt d'origine pour suivre ses nouveautés.
Dans Merathon
- Dans le panneau de gauche, clique sur le « + » de la section « Distant ».
- Saisis le nom (« origin » en général) puis l'URL.
- Clic droit sur un remote → « Supprimer le remote » pour le retirer.
Questions fréquentes
Que veut dire « remote origin already exists » ?
Un remote porte déjà ce nom : change son URL avec git remote set-url origin <url> au lieu de l'ajouter.
Comment publier un dépôt local sur GitHub ?
Crée un dépôt vide sur GitHub, puis git remote add origin <url> et git push -u origin main.