Nous apportons plusieurs améliorations pour travailler avec de grands PR sur GitHub, en commençant par une nouvelle vue multi-fichiers.