2018-01-03 15:14 GMT+01:00 Daniel James via Boost
On 3 January 2018 at 13:27, Andrzej Krzemienski via Boost
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 access. Regards, &rzej;