[Ur] Ur/Web on GitHub

[Sergey Mironov]

Great, Thanks!

Sergey

2015-12-21 5:04 GMT+03:00  <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
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur