Re: [galaxy-dev] Reporting issues for the wiki? e.g. universe_wgsi.ini still widely used

2016-11-15 Thread Dannon Baker
Unfortunately we weren't able to use pandoc, coming from Moin. Regarding edit links, yes, that's exactly what we have implemented. -Dannon On Tue, Nov 15, 2016 at 10:26 AM, Peter Cock wrote: > Thanks Dannon, > > I've logged the universe_wsgi.ini issue there as > https://github.com/galaxyprojec

Re: [galaxy-dev] Reporting issues for the wiki? e.g. universe_wgsi.ini still widely used

2016-11-15 Thread Peter Cock
Thanks Dannon, I've logged the universe_wsgi.ini issue there as https://github.com/galaxyproject/galaxy-site/issues/16 Interesting to see yet another MediaWiki site being moved to GitHub with Markdown - although not with GitHub pages in this case. I'd guess you guys used the wonderful pandoc for

Re: [galaxy-dev] Reporting issues for the wiki? e.g. universe_wgsi.ini still widely used

2016-11-15 Thread Dannon Baker
Hi Peter, We're in the middle of migrating the wiki right now -- you may notice that the current wiki is in read-only mode. Going forward, the place to report (and fix) issues like that will be https://github.com/galaxyproject/galaxy-site. -Dannon On Tue, Nov 15, 2016 at 10:06 AM, Peter Cock w