[Ur] New website?

[Adam Chlipala]

On 08/06/2015 11:56 AM, Adam Chlipala wrote:
> I would be quite happy to reconceptualize the Ur project site as a 
> community project.  For me to it would be ideal for a set of non-me 
> volunteers to handle both the design and the hosting.  It would 
> probably be best for me to register a domain for the site (the 
> impredicative.com part hasn't seemed like a good fit for a while) but 
> point hostnames as directed by volunteers.
>
> So, the big question: who would be interested in taking charge of some 
> substantial part of that kind of community effort?

Well, it doesn't look like there's too much will to take on a task like 
this one, which unfortunately probably means that the Ur web site will 
stay pretty much the way it is now, for the foreseeable future.  (I 
still do plan to switch several aspects to GitHub myself, in the next 
few months.)

Thanks again to Torstein for starting this discussion with a candidate 
redesign, which met with enough of a mixed reaction on this list that it 
isn't clear that we want to switch to it.

I'd still be very interested in turning over the Ur-project web design 
and presence to one or more volunteers, and I don't think it's a huge 
job, really, so do let me know if you're interested.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20151011/edb0aa6e/attachment.html>