Introduction à la commande pull
La commande pull en Git permet de récupérer et d'intégrer des modifications provenant d'un autre dépôt ou d'une branche locale. En d'autres termes, elle combine les fonctions de fetch et de merge. Ce processus est couramment utilisé