Connect commit history for a single file

Issue #13860 duplicate
Jordan Ulmer
created an issue

Problem: When a file is renamed, the git history for that file is not linked to the previous file name.

When the following is executed: git checkout my_repo git mv ./my_repo/my_OLD_filename.rnd ./my_repo/my_NEW_filename.rnd git commit git push

The git history for "my_OLD_filename.rnd" is visible before commit X The git history for "my_NEW_filename.rnd" is visible starting with commit X

Proposal: Connect the git history for "my_OLD_filename.rnd " and "my_NEW_filename.rnd"