title: index file smaller than expected
body: <p>This morning, I started getting this error from git:</p>
  <blockquote>
  <p>fatal: index file smaller than expected</p>
  <p>fatal: git status --porcelain failed</p>
  </blockquote>
  <p>Any idea of what is happening and how to solve it?</p>