It would be cool if we can have a quick changed files resume in pull requests, as we have in commits.
We already have all the information for this.
All we need to do is: - Add a new section (files?) to the page - List in it the names of the file changed (cf the header of the diff section) - Maybe show how much the files were changed (here as well the code is in the header of the diff section)
files
This got fixed while working on the new UI