title: Fork a specific dir from a huge repository
body: <p>I would like to fork a huge repository (10GB), filter it to a specific dir and push the filtered version to a new Github repository.</p>
  
  <p>I've used <a href="https://stackoverflow.com/questions/2425059/how-to-pull-specific-directory-with-git">these</a> instructions to pull and filter to my directory, which works. But when I try to push the filtered repo back to Github I'm getting this error:</p>
  
  <pre><code>$ git push origin master --force
  Enumerating objects: 2292154, done.
  Counting objects: 100% (2292154/2292154), done.
  Delta compression using up to 8 threads
  Compressing objects: 100% (562030/562030), done.
  error: RPC failed; curl 55 SSL_write() returned SYSCALL, errno = 32
  fatal: the remote end hung up unexpectedly
  Writing objects: 100% (2292154/2292154), 7.03 GiB | 40.92 MiB/s, done.
  Total 2292154 (delta 1726549), reused 2292154 (delta 1726549)
  fatal: the remote end hung up unexpectedly
  Everything up-to-date
  </code></pre>
  
  <p>I've tried the solution proposed <a href="https://stackoverflow.com/questions/51509217/github-push-error-the-remote-end-hung-up-unexpectedly">here</a>, but the error persists.</p>
  
  <p>Is there a way to fork a specific dir and reduce the total repo size to make it more easily managable?</p>