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