Open
Description
I tried gumtree on a "random" Pull Request. There, I renamed files. The output is as follows:
While GitHub also thinks only one file is renamed (scroll down at https://github.com/JabRef/jabref/pull/10847/files), I would like to be able to drag and drop rennamed files to give GumTree a hint which files to compare.
(Follow-up to #329)