- Git deploy: - Push uitleg

Git: doelrepository voor `git push` instellen

Deze handleiding laat zien hoe je een doelrepository (remote) instelt zodat je met git push code naar een server kunt sturen.

In het voorbeeld gebruiken we een SSH‑verbinding naar een server met de hostalias:

pi@vpn

1. Een nieuwe remote instellen

Ga eerst naar je lokale repository:

cd ~/develop/prima

Voeg daarna de remote toe:

git remote add origin pi@vpn:repo/prima.git

Controleer de configuratie:

git remote -v

Je ziet dan bijvoorbeeld:

origin  pi@vpn:repo/prima.git (fetch)
origin  pi@vpn:repo/prima.git (push)

2. Eerste push uitvoeren

De eerste keer push je meestal met:

git push -u origin main

De optie:

-u

betekent dat Git de upstream branch onthoudt. Daarna kun je gewoon gebruiken:

git push

zonder verdere argumenten.

3. Remote wijzigen

Als er al een remote bestaat maar je wilt deze veranderen:

git remote set-url origin pi@vpn:repo/prima.git

4. Remote verwijderen

Als je de remote wilt verwijderen:

git remote remove origin

5. Wat Git intern doet bij een push

Wanneer je pusht naar:

pi@vpn:repo/prima.git

voert Git intern ongeveer dit SSH‑commando uit:

ssh pi@vpn git-receive-pack repo/prima.git

Dat betekent:

Git opent een SSH‑verbinding met de server.
Op de server start het programma git-receive-pack.
De repository wordt bijgewerkt.
Eventuele server-side hooks worden uitgevoerd.

6. Hoe de repository op de server moet bestaan

Op de server moet de repository meestal een bare repository zijn.

Voorbeeld:

ssh pi@vpn
mkdir -p ~/repo/prima.git
cd ~/repo/prima.git
git init --bare

Een bare repository bevat alleen de Git‑data en geen werkdirectory.

7. Betekenis van het woord "origin"

De naam:

origin

is geen speciaal technisch concept, maar simpelweg een conventionele naam voor de standaard remote repository.

Toen Git oorspronkelijk werd ontworpen, werd de eerste remote meestal de plaats waar de repository vandaan kwam:

origin = oorspronkelijke bron

Daarom gebruikt Git standaard de naam origin voor de eerste remote.

Belangrijk om te weten:

Je kunt de naam origin zelf kiezen of veranderen.
Git behandelt deze naam niet speciaal.

Bijvoorbeeld:

git remote add server pi@vpn:repo/prima.git

werkt net zo goed.

Maar omdat bijna iedereen origin gebruikt, is het handig om die conventie te volgen.

Samenvatting

Remote instellen:

git remote add origin pi@vpn:repo/prima.git
git push -u origin main

Daarna kun je eenvoudig gebruiken:

git push

De naam origin is slechts een conventionele naam voor de standaard remote repository.