Travailler depuis un dépôt git
Régulièrement, il est possible d'enregistrer dans le dépôt les modifications effectuées, par la commande :
git commit -a
Un texte de description pourra être ajouté dans le journal des modifications.
À l'inverse, à tout moment, il est possible de récupérer les modifications effectuées par les autres contributeurs en utilisant la commande :
git pull