Version control systems

[Ian Lynagh]

On Tue, Aug 12, 2008 at 10:10:31AM +0100, Malcolm Wallace wrote:
> 
> On 12 Aug 2008, at 01:35, Manuel M T Chakravarty wrote:
> >Ah, good point!  Changing ghc to git means *all* developers of boot  
> >libraries need to use git *regardless* of what repo format the boot  
> >libraries are in.  After all, they need to validate against the  
> >current ghc head before pushing.
> 
> It is worth pointing out that I *never* validate against ghc head when  
> I commit to the core libraries.

Also, all of the people who send us patches don't need to validate (and
I suspect most of them don't), as we validate the patches before pushing
them.


Thanks
Ian