Wat is het verschil tussen de commando's git push en git pull, en waarvoor wordt elk gebruikt?

git push wordt gebruikt om lokale wijzigingen (commits) naar een externe repository te sturen. Het werkt de externe repository bij volgens de lokale staat. Kort gezegd, je deelt je vorderingen.

git pull wordt gebruikt om wijzigingen van de externe repository op te halen en te integreren in de huidige lokale tak. Het is gelijk aan het uitvoeren van git fetch gevolgd door git merge. Het synchroniseert je lokale repository met de remote.

Het verschil ligt in de richting van de gegevensstroom: push stuurt wijzigingen van lokaal naar remote, en pull ontvangt wijzigingen van remote naar lokaal.

Voorbeeld van gebruik van git push:

# Wijzigingen naar de main-tak op origin sturen
git push origin main

Voorbeeld van gebruik van git pull:

# Wijzigingen ophalen van de main-tak op origin
git pull origin main