Les 5: Samenwerken — Git-track

Stap 1 / 6

git pull — wijzigingen ophalen

git pull haalt de nieuwste commits op van GitHub en voegt ze samen met je lokale branch. Het is eigenlijk twee commando's in één:

git fetch

Download wijzigingen zonder samenvoegen

+

git merge

Voeg wijzigingen samen in lokale branch

= git pull

Dagelijks gebruik

git pull                  # haal wijzigingen op van huidige branch
git pull origin main      # expliciet: van remote "origin", branch "main"
git pull --rebase         # voeg samen via rebase (nettere geschiedenis)

💡 Altijd pullen voor pushen

Gewoonte: begin elke werksessie met git pull. Zo heb je altijd de laatste versie en voorkom je conflicten bij het pushen.

Stap 2 / 6

De dagelijkse samenwerk-workflow

In een team volg je een vaste ritme. Dit is de standaard workflow die je op elke stageplek tegenkomt:

1

Begin van de dag — pull

git pull

Haal de laatste wijzigingen op die teamleden gisteren hebben gepusht.

2

Werk maken — add & commit

git add .
git commit -m "Voeg zoekfunctie toe"

Commit regelmatig — liever 5 kleine commits dan 1 grote.

3

Nog een pull vóór pushen

git pull   # altijd eerst pullen!

Misschien heeft een teamlid ondertussen iets gepusht. Los eventuele conflicten op.

4

Pushen

git push

Jouw commits zijn nu beschikbaar voor het team.

🔄 Snelle samenvatting

pull → werk → add → commit → pull → push

Stap 3 / 6

Push afgewezen — wat nu?

Dit is de meest voorkomende fout bij samenwerken. Je push wordt geweigerd omdat de remote nieuwere commits heeft dan jij.

Foutmelding

 ! [rejected]        main -> main (fetch first)
error: failed to push some refs to 'github.com:jij/project.git'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. Integrate the remote changes (e.g.
hint: 'git pull ...') before pushing again.

✅ Oplossing — altijd hetzelfde

git pull          # haal de remote commits op en merge
# (los eventuele conflicten op — zie les 7)
git push          # nu lukt het wel

git fetch vs git pull

git fetch download de wijzigingen maar voegt ze NIET samen. Handig om te kijken wat er online is vóór je merge:

git fetch
git log HEAD..origin/main --oneline

Commit tellen

# Hoeveel commits ben jij achter?
git status
# "Your branch is behind 'origin/main' by 3 commits"

git status vertelt ook hoeveel commits je achter of voor bent op de remote.

Stap 4 / 6

Pull Requests

Een Pull Request (PR) is een verzoek om jouw branch samen te voegen met de main branch. Het is het standaard review-mechanisme op GitHub.

1

Maak een feature branch aan

git checkout -b feature/zoekfunctie

2

Werk en commit op je branch

git add .
git commit -m "Voeg zoekbalk toe aan header"

3

Push de branch naar GitHub

git push -u origin feature/zoekfunctie

4

Maak een PR aan op GitHub

GitHub toont een knop "Compare & pull request". Beschrijf wat je deed en vraag een review.

5

Review → Merge

Een teamlid reviewt je code en keurt goed. Daarna merge je de PR in main.

💼 In de praktijk

De meeste bedrijven hebben een regel: direct pushen naar main is verboden. Alles gaat via Pull Requests met minimaal één reviewer. Zo wordt elke wijziging gecontroleerd.

Stap 5 / 6

Oefening — samenwerkworkflow

🎯 Opdracht

Simuleer de dagelijkse workflow in de terminal:

git status — check de staat
git pull — haal wijzigingen op
git log --oneline -5 — zie recente commits
git add . en git commit -m "..."
git push — stuur naar GitHub

🖥️ Interactieve terminal

Terminal

Probeer: git pull, git status, git push, git log --oneline -5

student@pc:~/project$

🧠 Kennischeck

🐙

Les 5 afgerond!

Je kent de teamworkflow: pull → werk → add → commit → pull → push, en je snapt Pull Requests.

Les 6: Branches →

🐙 Samenwerken