OK, I've made the switch! Next steps will involve updating the OS
packages and the other Ur/Web libraries hosted on impredicative.com.
Current state visible as usual at:
http://www.impredicative.com/ur/
On 12/20/2015 03:20 PM, Adam Chlipala 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
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
