GitHub and GHC

[Simon Marlow]

On 09/04/11 10:11, Edward Z. Yang wrote:
> Excerpts from Manuel M T Chakravarty's message of Sat Apr 09 01:56:43 -0400 2011:
>> Would the use of submodules, instead of separate repos and the sync-all
>> script, address that problem, so that forking the main repo would also fork
>> the submodules?
>
> Submodules would definitely help, and it's something we should consider long
> term.

Agreed.  I spent a while evaluating submodules, and I wasn't convinced 
enough that the current support for submodules in git was quite ready, 
there seemed to be some rough edges, and I managed to get my repo into a 
confusing state a few times.  There are also more steps involved in the 
workflow when you have submodules, and hence more ways for us to trip up.

Let's get our workflow settled with plain repos first, and then 
reevaluate submodules at some point in the future.

Cheers,
	Simon