Moeten we de merge-status in de kop van de PR's zetten?