(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
, 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*
We could either look at modifying the ExternalRedirecct
extension to be something like DocsRedirect and hard-code the
. part, or we could follow this suggestion
, 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.
Fedora Project Leader