This page has moved to a /posts/2017/06/git-properly-rename-file-show-rename-log