GitLab - 6.3 Pousser vos modifications avec git push

Un commit reste sur votre machine tant que vous ne le poussez pas. Cette leçon montre comment envoyer vos modifications vers le dépôt distant, pour qu'elles soient disponibles pour vous et pour les autres membres de l'équipe.

De la modification au dépôt distant

Le parcours habituel contient plusieurs étapes : modifier un fichier, le mettre en scène, puis l'enregistrer dans un commit. Il reste une étape indispensable pour partager le travail : le push.

Une fois le commit créé, git push envoie vos commits vers le dépôt distant. Dans la vidéo, le dépôt distant se nomme origin, et la branche envoyée est master.

git push origin master

Être précis sur ce que l'on pousse

Sans précision, git push peut envoyer plusieurs branches. La vidéo recommande d'être précis, en indiquant le dépôt et la branche à envoyer.

Quand le push réussit, Git affiche un message de confirmation. Rechargez ensuite la page du dépôt dans GitLab : les fichiers modifiés apparaissent avec leurs nouvelles versions.

En résumé

Le push envoie vos commits locaux vers le dépôt distant, pour les rendre visibles et disponibles pour les autres. Pour éviter les envois inutiles, précisez le dépôt et la branche. Vérifiez ensuite le résultat dans l'interface GitLab.

Points clés

Un commit reste local tant qu'il n'est pas poussé.
git push envoie les commits vers le dépôt distant.
origin désigne le dépôt distant associé à votre projet.
Précisez la branche pour ne pousser que ce qui est nécessaire.
Rechargez la page GitLab pour vérifier les modifications.

Questions fréquentes

Pourquoi mes modifications n'apparaissent-elles pas dans GitLab ?

Elles n'ont sans doute pas encore été poussées. Un commit local reste sur votre machine tant que git push n'a pas été exécuté.

Faut-il pousser toutes les branches ?

Non. La vidéo recommande de ne pousser que la branche voulue, en la nommant dans la commande.

Qu'est-ce que origin ?

C'est le nom du dépôt distant, qui pointe vers l'adresse de votre projet GitLab.