On Tue, Jan 23, 2018 at 03:21:56PM +0100, Adam Williamson wrote: > It's a bit off-topic, but...when this happens, what do we do about > links? There are probably many links to this page. This applies to > anything being 'converted' from the wiki to docs, I guess...can we make > wiki URLs redirect to a docs page after conversion? Or do we have to > make the wiki page just show a link to the docs page? I've just been making stubs like https://fedoraproject.org/wiki/Council, which isn't ideal. Mediawiki has some extensions which allow external redirects, but I don't think we can safely enable anything which allows *arbitrary* redirects. We could either look at modifying the ExternalRedirecct extension to be something like DocsRedirect and hard-code the https://docs. part, or we could follow this suggestion https://stackoverflow.com/a/36634532/479426, which is to create a "MovedToDocs" namespace and allow the extension there, and then give a restricted set of people permission to move things into that space. -- Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> Fedora Project Leader _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
