Christian Brabandt wrote:
> Hi Ben!
>
> On Fr, 27 Mär 2015, Ben Fritz wrote:
>
> > I'd just like to point out that all you githeads arguing over the
> > various different options on pull and fetch and whether they break or
> > keep your repository intact, are making me VERY sad about losing
> > Mercurial.
> >
> > Bram, is there a chance you'd be willing to also push to a Mercurial
> > mirror using one of the various bridge methods, either automatically
> > via repository hook or manually when you push patches to the public
> > repo?
> >
> > If so, are we definitely set on GitHub? Has anyone found a hosting
> > site that allows you to have one landing page for both a git and a Hg
> > repository?
>
> If I have understood correctly, it's easy enough to setup a mirror
> somewhere else. If that is straightforward, I could set it up for github
> to mirror somewhere else (bitbucket?)
>
> Bram, would you like to create an official vim account at bitbucket or
> do you want me to do it?
Looks like Vim on bitbucket is taken. You could ask them if they can
make it available. Or we can use vim-mirror, to make clear it's not the
main one. It would be great if you can set this up (less work for me
:-).
--
ARTHUR: But if he was dying, he wouldn't bother to carve
"Aaaaarrrrrrggghhh". He'd just say it.
BROTHER MAYNARD: It's down there carved in stone.
GALAHAD: Perhaps he was dictating.
"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.
