Re: Master sources?

[Dan Kegel]

Daniel Jacobowitz wrote:
> On Mon, Jun 09, 2003 at 05:04:56PM -0700, Dan Kegel wrote:
> > According to http://www.gnu.org/software/dejagnu/
> > the master sources are kept at savannah.gnu.org.
> >
> > I was therefore somewhat dismayed to read that this isn't
> > quite the case --
> > http://mail.gnu.org/archive/html/dejagnu/2003-06/msg00015.html
> > states there's also a repository at sources.redhat.com.
> >
> > Why are there two?
>
> The one at sources isn't the master.  It does, however, get a lot of
> the active changes.

If those active changes don't also go to savannah, then savannah isn't
really the master, is it?
Also, if anyone is pulling from sources.redhat.com, then savannah
isn't really the master, is it?

Who uses the repository at sources.redhat.com, and why?

> I tried today to merge them; it's grossly hard.  Rob's tree has a whole
> bunch of bad whitespace relative to the sources tree, for instance.

Ouch... wonder if they've ever been in sync.
- Dan