(Resending with correct docs list cc. Sorry about that.) On Tue, Jan 23, 2018 at 11:30:46AM -0500, Matthew Miller wrote: > 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 -- Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> Fedora Project Leader _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
