On Fri, Aug 26, 2016 at 1:52 PM, Johan S. H. Rosenkilde <santaph...@gmail.com> wrote: >> Would you have any interest in moving the wiki >> to https://github.com/sagemath/sage/wiki ? > > What would be the advantage of doing so?
- We don't have to worry about hosting it ourselves. - It's hosted on a DDOS hardened globally distributed CDN instead of one single VM. - More standard markdown instead of a the moin moin wiki custom format. - Revision history stored in git; you can easily clone the whole wiki, work on it offline, and push it. - Better antispammer measure and account management handled by Github. > What do the Sage developers even want to use the wiki for? Apart from > SageDays organisation. - listing sage days - there's a nice list of interact examples: https://wiki.sagemath.org/interact Look at https://wiki.sagemath.org/RecentChanges to see what people *do* use the wiki for. E.g., there's been a lot of activity on a page "Coding Theory in Sage: A collection of ideas and long-term goals for Coding Theory in Sage, and the people interested." today by several people. There's even a recently modified page here https://wiki.sagemath.org/Debate/Collective%20infrastructure%20management that has a bunch of arguments *against* moving hosting of sage-related services from universities to third party cloud hosting services (Github, Google, etc.). > At SageDays75, we just created (or rewrote) > https://wiki.sagemath.org/Coding_Theory sub-page and propose it to be a > place to discuss long-term goals for coding theory in Sage. Let's see > how it works out. That's definitely a very good use of this wiki (or any other sage one). -- William -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.