Markus Heidelberg wrote: > > The biggest file there is 33M. No idea how it gets bigger after pushing > > to GitHub. 10M is not something to worry about. Previously it was > > 600M. > > Maybe it has something to do with GitHub's repository management. Or > that the repository was not empty when pushing to it, even though it > does not contain more tags or branches than expected.
I have done the "for real" update of the Vim repository. I used the same sequence of commands as for the tryout, thus the result should be the same. I'm now updating the pages that used to refer to Google Code. Some parts are TODO. Some parts could use some more text and examples. Please look at these pages: http://www.vim.org/git.php http://www.vim.org/mercurial.php http://www.vim.org/download.php http://www.vim.org/develop.php Once this looks good I'll announce the move has finished. We can then start using the issue tracker on GitHub. -- BROTHER MAYNARD: Armaments Chapter Two Verses Nine to Twenty One. ANOTHER MONK: And St. Attila raised his hand grenade up on high saying "O Lord bless this thy hand grenade that with it thou mayest blow thine enemies to tiny bits, in thy mercy. "and the Lord did grin and people did feast upon the lambs and sloths and carp and anchovies and orang-utans and breakfast cereals and fruit bats and... BROTHER MAYNARD: Skip a bit brother ... "Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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.
