dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Master sources?


From: Daniel Jacobowitz
Subject: Re: Master sources?
Date: Mon, 9 Jun 2003 20:14:00 -0400
User-agent: Mutt/1.5.1i

On Mon, Jun 09, 2003 at 05:04:56PM -0700, Dan Kegel wrote:
> Hi,
> 
> 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.

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.

-- 
Daniel Jacobowitz
MontaVista Software                         Debian GNU/Linux Developer




reply via email to

[Prev in Thread] Current Thread [Next in Thread]