Re: [Monotone-devel] Monotone on Github?

[Hendrik Boom]

On Tue, Apr 10, 2018 at 03:17:58AM -0400, grarpamp wrote:
> Not really thinking of non self hosting.
> Just a simple commit mirror with project page pointing to
> wherever is authoritative, github ticketing need not be enabled.
> Mostly to satisfy searches made on github, let people play
> readonly with it via local git clones till they get serious and
> go mtn, attracting more devs / debugs / users, gain some
> global search index rank via github, etc.
> The meta benefits of doing so.

Is there now an automated way of mirroring a monotone repository onto github?

-- hendrik