title: Changing file names in a Git repository
body: <p>How does Git handle filename changes?</p>
  <p>Will a file name change be detected as a modification or will there be a &quot;lost&quot; file which needs to be removed and the new file needs to then be added with <code>git add</code>?</p>