We brengen een aantal verbeteringen aan voor het werken met grote PR's op GitHub, te beginnen met een nieuwe weergave voor meerdere bestanden.