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