Keuring van PR's kan door iedere github gebruiker, maar het doorvoeren (merge) zal ik eerst doen. Criteria kunnen we het nog wel over hebben, maar vooral op klompen aanvoelen. ScherjontjesOef, github en pull requests, dit begint op werk te lijken .
Wie gaat pull requests goedkeuren? En op basis van welke criteria?