Giuseppe Bilotta wrote: > On Tuesday, March 24, 2015 at 10:36:32 PM UTC+1, Bram Moolenaar wrote: > > Since Google Code is going to be shut down we need a new place for the > > Vim repository. Many users have given their opinion and github appears > > to be the preferred site. > > > > This is not without disadvantages, since it means moving from Mercurial > > to git. Some may like this, some not. Will take some getting used to. > > I personally prefer the Mercurial commands, they are more obvious to > > use. You can find help only for how a Mercurial command translates to > > git, e.g. https://github.com/sympy/sympy/wiki/Git-hg-rosetta-stone > > How about using BitBucket instead of GitHub? It might be a less > preferrable options to some, but (1) it works largely the same way and > (2) it supports mercurial directly.
Yes, that's an alternative. I moved Zimbu there and it seems to have worked without trouble. Everyone who has cloned the repo still has to manually update the remote site, thus it's not completely automatic. Still, most users appear to prefer github. I had some problems doing the import and the github staff was very responsive. The main problem appears to be with the import itself (e.g., all Issue dates are reset, there is only a comment about the original date and reporter). And yes, you need to learn git commands. -- Why isn't there mouse-flavored cat food? /// 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.
