List Archive: gentoo-dev
Note: Due to technical difficulties, the Archives are currently not up to date.
provides an alternative service for most mailing lists.c.f. bug 424647
On Thu, 24 May 2012 17:02:24 +0200
Ralph Sennhauser <firstname.lastname@example.org> wrote:
> On Thu, 24 May 2012 16:40:02 +0200
> Michał Górny <email@example.com> wrote:
> > d) Talk with github folks to add our repo as 'mirror'.
> Can we keep the master on Gentoo hardware please.
Yes, that's the intent. I'm just saying that github seems to have
a hidden feature of mirroring external repos.