Subject: Re: [boost] Changing the website (Was: Need help with bootstrap.bat)
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2018-01-03 14:36:31
2018-01-03 15:14 GMT+01:00 Daniel James via Boost <boost_at_[hidden]>:
> On 3 January 2018 at 13:27, Andrzej Krzemienski via Boost
> <boost_at_[hidden]> wrote:
> > I consider this more important than where actually the content is hosted.
> Sure, but from my perspective the problem is that no one is
> maintaining a lot of these pages. If there's a simple way to make it
> easier for other people to do it, then I'd like to explore that.
You mean, make this GitHub Wiki more popular and encourage people to
update/maintain it? Sure, this sounds good.
Making proposals to reorganize the website is nice, but is anyone
> going to do it?
My proposal is to add a link in that menu, or move one or two links around.
I think we have access to sources under GitHub? I can do it if I am given
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk