Am Montag, 17. August 2015, 14:49:51 schrieb Marius Gedminas: > On Fri, Aug 14, 2015 at 01:39:18AM +0200, Markus Heidelberg wrote: > > Am Donnerstag, 13. August 2015, 13:14:34 schrieb Bram Moolenaar: > > > You mentioned the size of the repository after "export to github" was > > > much larger than the one resulting from the local conversion. How do > > > you see that? > > > > Try this (using your 2nd test repo): > > > > $ git clone https://github.com/vim/vim.git > > [..] > > Receiving objects: 42% (22538/53119), 206.21 MiB | 622.00 KiB/s > > > > -> 200 MB already transferred and still 58% to do. I aborted then. > > > > It seems like GitHub optimizes the repository some day later or > > regularly because your first test repo (now at > > https://github.com/vim/vim-old-tryout) has a reasonable compact size: > > Receiving objects: 100% (52960/52960), 33.29 MiB | 657.00 KiB/s, done. > > > > $ du -sh vim-old-tryout/.git > > 36M .git > > > > But I remember my initial clone a few months ago was really big. > > > > Compare the size of .git/ with your locally converted Git repo, this > > must be huge (743 MB for me). > > It might be a manual process. > > I remember when git clone https://github.com/vim/vim produced a 700 meg .git. > I complained on Twitter and somebody from GitHub noticed and ran a > manual "git gc --aggressive" (or something like that) on the server side: > > - https://twitter.com/mgedmin/status/581131821796196353 > - https://twitter.com/vmg/status/581144886826672130
Thanks for the pointers. > If you're planning to do a new conversion, you may need to ask GitHub > admins to do the compaction by hand again. No, we will convert locally and do the necessary "repack" step, which is missing from the Google Exporter, ourselves. Markus -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
