[Ur] Ur/Web on GitHub

[jasonpepas at gmail.com]

Yay!

> On Dec 20, 2015, at 1:20 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> 
> I've finally started moving the Ur/Web project over to GitHub.  The plan is to substitute standard GitHub procedures for all current uses of Mercurial, Mantis, and the impredicative.com wiki.
> 
> As a first step, the main repository is imported into GitHub here:
>    https://github.com/urweb/urweb
> I hope that all future changes will be made in Git, with that repository as the canonical source!
> 
> Does anyone see any issues that stand in the way of immediately switching version control and issue tracking to GitHub?  ("Moving" the wiki would be a less automatic process.  Probably not all of the current content should be moved, which is actually also true for the current Mantis tracker, IMO.)
> 
> I'll wait 24 hours from sending this message for any words of caution.  If none arrive, then I'll switch Ur/Web over to GitHub officially, updating the project home page.
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur