12 Aug
2008
12 Aug
'08
11:53 a.m.
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