GT

PROPOSITION DE CORRECTION PAR ABDALLAH BEN SALEM

COMPTE RENDU

A QUIO SERT GITHUB ?

A un haut niveau, GitHub est un site web et un service de cloud qui

aide les développeurs à stocker et à gérer leur code, ainsi qu’à suivre
et contrôler les modifications qui lui sont apportées.

Quel est le rôle de la commande Git push ?

La commande git push est utilisée pour charger le contenu d'un dépôt

local vers un dépôt distant. Le push vous permet de transférer les
commits de votre dépôt local vers un dépôt distant. Sincerely,

Quel est le rôle de la commande Git pull ?

La commande git pull est utilisée pour faire un fetch du contenu d'un
dépôt distant et pour le télécharger, puis pour mettre à jour
immédiatement le dépôt local qui correspond à ce contenu. Faire un
merge des changements en amont dans votre dépôt local est une tâche
courante dans les workflows Git. La commande git pull est en fait la
combinaison de deux autres commandes, git fetch suivie de git
merge. Lors de la première étape, git pull exécute une commande git
fetch étendue à la branche locale vers laquelle HEAD pointe. Une fois le
contenu téléchargé, git pull entre un workflow de merge. Un nouveau
commit de merge est créé et HEAD est mis à jour pour pointer vers le
nouveau commit.
EMAIL TWITTER HANDLE TELEPHONE LINKEDIN URL
2