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(a)fedoraproject.org>
Fedora Project Leader