[Ur] New website?

[Adam Chlipala]

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?