(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*
> 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
> Fedora Project Leader
Fedora Project Leader