[IPython-dev] Making our git repo much smaller?

[Fernando Perez]

Hey,

On Tue, Feb 8, 2011 at 9:04 PM, MinRK <benjaminrk at gmail.com> wrote:
> I've looked into this a little bit, and as far as I can tell (though not
> said with any confidence), the only option you have to repack a public repo
> is to pull, repack, and then push to an entirely new repo and toss out the
> old one - less than ideal.

I just made a request for a repack, we'll see what happens:

http://support.github.com/discussions/repos/5478-manual-repack-request-for-repo

Cheers,

f