On 08/06/2015 04:33 PM, Sergey Mironov wrote:
Hi. I'd like to post the quick answer to the particular topic,
regarding GitHub repository design:
All of that might make sense to do simultaneously with a switch to GitHub,
or maybe the GitHub switch deserves to come earlier. One task that makes
sense to tackle concurrently with a GitHub switch is a redesign of the
Ur/Web extended standard library, which currently is split across several
Mercurial repositories. Any thoughts on whether it would be better to have
one Git repository for all of the extended standard-library content listed
as "Officially Blessed" here?
Please, consider using Git submodules. It is the mechanism allowing us
to wrap one git repository with another. Here is the quick googling
result https://git.wiki.kernel.org/index.php/GitSubmoduleTutorial.
Yeah, I looked that up on the web before asking my question. It seems
reasonable, but I don't have first-hand experience.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
