Proposal: better library management ideas (was: how to checkout proper submodules)

Jan Stolarek jan.stolarek at p.lodz.pl
Sun Jun 9 19:04:38 CEST 2013


Oh, and I've been made aware that git 1.7 and later can checkout a subdirectory of a repo - this 
partially invalidates my previous argument. I'm saying partially, because it is a bit more 
difficult than dealing with a library that has its own repo + it seems that some potential 
contributors might not be aware of this feature (like me today in the morning).

Janek



More information about the ghc-devs mailing list