title: Reduce size of git repo on remote (GitHub)
body: <p>I'm trying to reduce the size of a <a href="https://github.com/firstcontributions/first-contributions" rel="nofollow noreferrer">repository</a> I have hosted on GitHub.</p>
  
  <p>Previously, I had a web app in there that I moved to a separate repo with a filter-branch. So,there are a bunch of objects in there that I can clean up.</p>
  
  <p>This is what I tried so far.</p>
  
  <p>Found the objects in <code>.git</code> directory that are taking most space  </p>
  
  <pre><code>git verify-pack -v .git/objects/pack/pack-69f30fd80611b43114487a13bd0acce8ca591d65.idx | sort -k 3 -n | tail -10
  </code></pre>
  
  <p>Looked up what those objects where</p>
  
  <pre><code>git rev-list --objects --all | grep 791b9d08eca70
  </code></pre>
  
  <blockquote>
    <p>791b9d08eca70f4070bee37e0f8743172d6218c5 static/js/main.d4d0a6ad.js.map</p>
  </blockquote>
  
  <p>I don't need these.</p>
  
  <p>So, I did a git prune</p>
  
  <pre><code>git gc --aggressive --prune=now
  </code></pre>
  
  <p>I see that the size had gone down from 180 MB to 56 MB.</p>
  
  <p>Now I want the remote in GitHub to reflect the same but I'm not sure how to push these changes there. I don't see any changes if I do <code>git status</code>.</p>
  
  <p>I tried</p>
  
  <pre><code>git push --all --force
  </code></pre>
  
  <blockquote>
    <p>Everything up-to-date</p>
  </blockquote>
  
  <p>That doesn't change anything either. </p>