On Tue, Jul 03, 2018 at 11:40:53AM -0400, Rich Freeman wrote:
> On Tue, Jul 3, 2018 at 11:32 AM Brian Dolbec <[email protected]> wrote:
> > 2) we have a large infrastructure of rsync mirrors, which we do not for
> > git.
> >
> 
> Do we need them.  I've yet to see somebody complain about poor syncing
> performance from github.  I imagine we could just use that and a few
> other free mirroring services to distribute the tree.

I don't feel comfortable relying on github as a primary means of
distributing the tree due to our social contract. It is a value-added
kind of service, but we should not rely on it.

William

Attachment: signature.asc
Description: Digital signature

Reply via email to