Waaruit bestaat de 'git pull'-opdracht en hoe werkt deze samen met de repository?

Het commando git pull bestaat uit twee hoofdoperaties:

1. git fetch — download de wijzigingen van de externe repository naar de lokale, werk de verwijzingen naar de takken bij, maar wijzig de werkmap niet.
2. git merge — voegt deze gedownloade wijzigingen samen met de huidige lokale tak.

Met andere woorden, git pull is een afkorting voor git fetch + git merge.

De interactie met de repository verloopt als volgt:

• Eerst maakt git lokaal verbinding met de externe repository (bijvoorbeeld op GitHub).
• Het haalt de nieuwe commits op en werkt de lokale verwijzingen bij.
• Vervolgens probeert het deze wijzigingen automatisch samen te voegen met de huidige tak.

Als er conflicten ontstaan tijdens het samenvoegen, moeten deze handmatig worden opgelost.

Voorbeeld:

git pull origin main

Downloadt en voegt de wijzigingen van de main-tak van de externe repository origin samen met de huidige tak.