Découvrir Git

Envoyer ses modifications avec push

Testez gratuitement nos 1298 formations

pendant 10 jours !

Tester maintenant Afficher tous les abonnements
Découvrez une étape importante de la collaboration avec Git. Le push permet d'envoyer tous les commits au dépôt distant. Vous aurez alors publié vos sources et ces sources deviendront accessibles à toute l'équipe du projet.
03:58

Transcription

Passons à présent à une composante essentielle de git : comment partager ses modifications vers un dépôt central ? Ici, ce que nous avions déjà fait, nous avions notre dépôt local, nous avions créé un dépôt distant, puis nous avions cloné à partir du dépôt distant notre dépôt local pour le prestataire. Par contre, ce qui nous manque, c'est d'avoir connecté notre dépôt local formation au dépôt distant. On peut vérifier ça en allant sur le dépôt prestataire. On utilise la commande git remote. On voit ici que notre dépôt prestataire est connecté au dépôt distant grâce au mot clé origin. Si on fait la même chose sur notre dépôt formation, on tape git remote, on ne retourne absolument rien. Donc on va ajouter la connexion de notre dépôt formation à notre dépôt distant en tapant la commande git remote origin et là, on tape l'accès au dépôt distant, donc ça peut être soit une URL, soit ici un chemin. Ici, il ne faut pas oublier le mot clé add, donc git remote add origin ../distant/. Si maintenant, on fait un git remote, on voit qu'on est également connecté au dépôt distant. Maintenant, imaginons que notre prestataire fasse des modifications, là on va aller voir dans le dossier prestataire, on va déjà afficher sa version du site internet. Pour l'instant, les deux versions sont strictement les mêmes. Ici, on va demander au prestataire de s'occuper des nouveautés. On est dans prestataire, on va faire une modification. Voilà, on enregistre. Ici, on a nos modifications qui s'affichent. On va aller commiter ces modifications comme on l'a fait jusqu'à présent. Voilà, si on fait notre git log, on voit notre modification apparaître. On va faire ce que l'on appelle pousser une modification, faire un git push. On tape la commande git push, là, on va littéralement envoyer les modifications sur le dépôt central, ou sur le serveur central, si le dépôt central est monté comme un serveur. On tape git push origin master donc on va pousser ça sur la branche principale. Là, on voit ce qui s'est passé, donc écriture des objets. Ça a bien été écrit dans var/www/html/distant/, qui est notre dépôt distant. On sait ici que l'envoi sur notre serveur distant a bien fonctionné. On peut aller vérifier, ici, en front de notre partie prestataire, sur l'environnement de développement du prestataire, on a les nouveautés, et ici, même si on actualise, on ne verra pas les nouveautés apparaître. Donc on a bien uniquement pour l'instant sur notre dépôt local du prestataire, on les a sur les dépôts distants, mais pas encore sur notre dépôt local formation, et les autres dépôts liés au dépôt distant.

Découvrir Git

Procédez à l’installation et à la configuration de Git. Voyez comment créer un dépôt, manipuler des fichiers source, naviguer dans l'historique, effectuer des recherches, etc.

2h05 (37 vidéos)
Aucun commentaire n´est disponible actuellement
 
Logiciel :
Spécial abonnés
Date de parution :28 sept. 2016

Votre formation est disponible en ligne avec option de téléchargement. Bonne nouvelle : vous ne devez pas choisir entre les deux. Dès que vous achetez une formation, vous disposez des deux options de consultation !

Le téléchargement vous permet de consulter la formation hors ligne et offre une interface plus conviviale. Si vous travaillez sur différents ordinateurs ou que vous ne voulez pas regarder la formation en une seule fois, connectez-vous sur cette page pour consulter en ligne les vidéos de la formation. Nous vous souhaitons un excellent apprentissage avec cette formation vidéo.

N'hésitez pas à nous contacter si vous avez des questions !