[Ur] New website?

[Adam Chlipala]

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.