Nouvelle interface pour la page des pull requests en préversion publique

GitHub a déployé en préversion publique une page de listing des pull requests modernisée au niveau des dépôts, intégrant des filtres avancés, une barre latérale rétractable et un mode d'affichage compact.