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

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 >

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

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

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

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

Hello all, Is there a specific issue tracker for the wiki? It seems wrong to open an issue on the main GitHub code repository... e.g. Many of the documentation pages still refer to the legacy configuration filename universe_wgsi.ini rather than the new name of config/galaxy.ini Problem pages