title: Issues with pushing large files through Git
body: <p>Currently when I try to push to a Git repo, I am getting the following error.</p>
  <pre><code>remote: error: GH001: Large files detected.
  remote: error: Trace: 7bbfe5c1099cfe679aa3cd1eee13e10a
  remote: error: See http://git.io/iEPt8g for more information.
  remote: error: File e3384023be667de7529538b11c12ec68.201307290946.sql.gz is 125.37 MB; this exceeds GitHub's file size limit of 100 MB
  </code></pre>
  <p>I have gone through and made sure that this file does not exist in the directory, and have done <code>git add -u</code>. We have tried to prune the branch but this doesn't work as it can't find the file to delete.</p>