ast diff in with gumtree in the browser for file diff on Github

[monperrus]

It would be great to review pull requests on Github using gumtree for diffing on the "Files" tab (instead of the default line diff by Github).

A browser extension would work for this, in the spirit of refined-github

This would have a huge impact.