I've created a mirror at https://github.com/beancount/beancount I'm using hg-git, which works well enough. I'll try to keep this in sync with the Mercurial repo. (It seems like I can basically just push from my Mercurial client to the github git repo and it converts on-the-fly.) Cheers,
On Fri, Dec 2, 2016 at 11:33 AM, Martin Blais <[email protected]> wrote: > On Fri, Dec 2, 2016 at 12:06 AM, Stefano Zacchiroli <[email protected]> > wrote: > >> On Fri, Dec 02, 2016 at 09:42:29AM +0100, Dominik Aumayr wrote: >> > We could create a separate repository under >> > https://github.com/beancount for plugins from the community. >> >> Speaking of which, how about setting up >> https://github.com/beancount/beancount as an always up-to-date git >> mirror of the hg repo on bitbucket? >> >> I'm using git-remote-hg locally and it works perfectly on the beancount >> repo, so automating with a cron a "git pull" + "git push --mirror" seems >> pretty straightforward. Martin: would you object to that? Of course the >> github-based repo should come with a description stating that it's just >> a mirror, and that the main development happens on bitbucket. >> > > Thanks for LMK it works. It's on my list of things to do. I have to take > care of this and when I do, make sure the mirror is always up-to-date > thereafter, I'll need to setup something on my server to that whenever I > push it automatically pushes to github too, that's likely the best way to > make sure all copies are sync'ed and up-to-date. > > > > Cheers. >> -- >> Stefano Zacchiroli . [email protected] . upsilon.cc/zack . . o . . . o . o >> Computer Science Professor . CTO Software Heritage . . . . . o . . . o o >> Former Debian Project Leader . OSI Board Director . . . o o o . . . o . >> « the first rule of tautology club is the first rule of tautology club » >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Beancount" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit https://groups.google.com/d/ms >> gid/beancount/20161202100608.naj4serghkpjeeld%40upsilon.cc. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/CAK21%2BhOjk5Q0VM5vhe-BJoYc139Acvq%2BeZ5T5Co8Fg_6Ez3w0Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
