Wat is een pull request?

Een pull request (PR) is een verzoek op GitHub: "Ik ben klaar met mijn branch. Mag dit in main?"

Denk aan inleveren:

Je levert je werk in, een teamgenoot kijkt het na, en als het goed is wordt het toegevoegd aan het project. Dat toevoegen heet mergen (samenvoegen).

Let op: een pull request is iets anders dan git pull! Met git pull haal je code binnen. Een pull request is een verzoek aan je team.

Stap 1: Pull request maken

Je hebt op je branch gewerkt, gecommit en gepusht. Nu maak je de PR.

Met GitHub Desktop

  1. Klik op Create Pull Request (of via menu Branch → Create Pull Request)
  2. Je browser opent github.com
  3. Vul een titel in, bijv. Navbar toegevoegd
  4. Schrijf in de beschrijving wat je gedaan hebt, en Closes #nummer van je user story (zie Scrumboard)
  5. Klik op Create pull request

Met de terminal

gh pr create --title "Navbar toegevoegd" --body "Closes #4"

Voorbeeld van een goede beschrijving:

Navbar gemaakt met links naar Home, Over ons en Contact.
Werkt ook op mobiel.

Closes #4

Stap 2: Laten checken door een teamgenoot

Een teamgenoot kijkt naar je code. Dat heet een review.

  1. Open de PR op github.com
  2. Klik op het tabje Files changed om de code te bekijken
  3. Klik op Review changes en kies:
    • Approve — het is goed
    • Comment — je hebt een opmerking of vraag

Feedback gekregen?

Pas je code aan op dezelfde branch, commit en push. De PR wordt automatisch bijgewerkt — je hoeft geen nieuwe te maken!

Stap 3: Mergen

Is de PR goedgekeurd? Dan voeg je hem samen met main.

Op github.com

  1. Scroll naar beneden in de PR
  2. Klik op Merge pull request
  3. Klik op Confirm merge
  4. Klik op Delete branch (de branch is nu klaar)

Met de terminal

gh pr merge --merge --delete-branch

Stap 4: Terug naar main

Je werk zit nu in main op GitHub. Haal het ook binnen op je laptop.

Met GitHub Desktop

  1. Klik op Current Branch en kies main
  2. Klik op Pull origin

Met de terminal

git switch main
git pull

Klaar! Maak een nieuwe branch voor je volgende user story en begin opnieuw.

Veelgemaakte fouten

Fout: voor elke kleine aanpassing een nieuwe PR maken.

Goed: push naar dezelfde branch. Je PR werkt zichzelf bij.

Fout: GitHub zegt "This branch has conflicts".

Oplossing: iemand heeft dezelfde regels aangepast. Zie Merge conflicts.

Fout: je eigen PR mergen zonder dat iemand ernaar gekeken heeft.

Goed: vraag altijd eerst een teamgenoot om te reviewen.