CATALOGUE Code & Data Formation Git Apprendre Git Utilisation de Git Push pour Partager des Modifications

Utilisation de Git Push pour Partager des Modifications

Le push : partager vos modifications
Vidéo non disponible ! Réessayez plus tard
Cette vidéo fait partie de la formation
Apprendre Git
Revoir le teaser Je m'abonne
3,3
Transcription

44,90€ Je commande

Formation incluse dans l'abonnement Elephorm Je m'abonne à Elephorm

DescriptionProgrammeAvis
3,3
44,90€ Je commande

Formation incluse dans l'abonnement Elephorm Je m'abonne à Elephorm

Les objectifs de cette vidéo sont de comprendre comment utiliser la commande Git Push, maîtriser les formes simple et complète du push, et savoir gérer les conflits de fusion avant de pousser vers un dépôt distant.

Découvrez comment utiliser la commande Git Push pour transmettre vos modifications à vos collègues et récupérer les leurs. Maîtrisez les formes simple et complète du push.

Dans cette leçon, nous explorerons en détail l'utilisation de la commande Git Push, essentielle pour la collaboration en gestion de versions. Après avoir appris à récupérer les modifications de vos collègues, vous découvrirez comment envoyer vos propres modifications à un dépôt distant. Nous expliquerons la différence entre la forme simple et la forme complète de la commande push, et comment ces deux formes se basent sur les informations de tracking. Vous verrez également que Git vous oblige à effectuer un pull avant de pousser si des modifications ont été faites sur le dépôt distant par d'autres collaborateurs. Cela garantit la résolution des conflits avant la mise à jour du serveur.

Nous illustrerons comment la commande Git Push affecte l'historique et le suivi des branches, en prenant l'exemple des branches master et origin/master. À travers ce processus, vous apprendrez à gérer les cas où des branches locales et distantes divergent, en comprennant l'importance de faire un pull suivi d'une fusion des modifications avant de pousser.

Voir plus
Questions réponses
Quelle est la différence entre la forme simple et la forme complète de la commande Git Push?
La forme simple de Git Push utilise les informations de tracking pour déterminer automatiquement la branche distante à mettre à jour, tandis que la forme complète nécessite de spécifier explicitement la branche distante et locale.
Pourquoi est-il nécessaire de faire un pull avant de pousser si d'autres modifications ont été faites sur le serveur?
Il est nécessaire de faire un pull pour fusionner les modifications locales avec celles du serveur, résoudre les conflits éventuels, et ainsi éviter que Git ne doive gérer des conflits directement sur le serveur.
Que se passe-t-il si la branche locale et la branche distante ont divergé?
Si les branches ont divergé, il faut d'abord effectuer un pull pour intégrer les modifications du dépôt distant, résoudre les conflits potentiels, puis pousser les modifications locales mises à jour.

Programme détaillé

3 commentaires
3,3
3 votes
5
4
3
2
1
luismiguelrobles
Il y a 1 an
bon cours bien structuré, avec de bon exemple et TP, en appuis sont transmis les slides
Hicham Skiker
Il y a 1 an
Un cours plutôt bon : bien structuré et présentant assez clairement et assez distinctement les notions fondamentales de Git.
bergeat.cedric
Il y a 3 ans
TP1 impossible sur Windows 10