On 07/24/2015 05:19 PM, Austin Seipp wrote:
Just as a note: If you're going to move to GitHub, I apologize for
being a thief and stealing your name!
https://github.com/urweb
[...]
I'm more than happy to relinquish full control of the organization to
you; then it can host the canonical repositories for all Ur/Web
'mainline' projects including the compiler and libraries.
Thanks! I don't have a concrete schedule in mind for a switch to
GitHub, but could you please add user 'achlipala' (me!) as an
administrator or whatnot of that organization?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
