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/ > msgid/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%2BhNUe%2BmGdUfD7tAQje%3DVX%2B0JETAwkkmO5Gr8j2HjCD2Kxg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
