Yay! > On Dec 20, 2015, at 1:20 PM, Adam Chlipala <[email protected]> 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
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
