Git
Git checkout van een remote branch: stapsgewijze gids
Om een remote branch te checkouten met Git, moet je eerst de laatste wijzigingen van de remote repository ophalen. Daarna kun je de remote branch lokaal checkouten met de volledige naam (bijv. origin/branch-naam).
François Aubry