Re: Official GCC git repository

["Daniel Berlin" <dberlin@dberlin.org>]

On Fri, Apr 18, 2008 at 8:47 PM, Jonathan Larmour <jifl@jifvik.org> wrote:
> [Trimmed CCs to just overseers]
>
>  Daniel Berlin wrote:
>
> >
> > This would be a great idea, if only we had more machines :)
> > Sadly, machines and dns names are tricky for political reasons around gcc.
> >
>
>  I don't really know about the issues involved, but anyone can set up a
> unofficial mirror, so I'm not sure the DNS name would have to be an issue,
> as long as it remained unofficial, which it sort of would be anyway since
> it's not the main VCS.

If we are willing to have git.gcc.gnu.org and hg.gcc.gnu.org be
different machines, i believe i can get some google machines in a
datacenter to host them.


>
>  As for machines, there's server1.sourceware.org and server2.sourceware.org,
> although IIRC disk space may be an issue? Apologies if you're already aware
> of them and it wouldn't work :-).

Ah, the issue with this one is the same with any separate machine.
I'd have to rsync the svn tree after every commit, instead of just git
imports.
If we are going to have to do that, might as well do it to a competely
new machine than use our already limited resources for something like
this :)