-
Suggestion
-
Resolution: Unresolved
-
None
-
None
When a pull request includes a file name modification and a modification to the file's contents, the file becomes a new file instead of the file name modification.
We would like to treat this as a file name modification.