Redirect from /doc/** to readthedocs

[Saviq]

Now that we're publishing our contributor documentation on https://canonical-mir.readthedocs-hosted.com/, we should redirect from /doc/** to the new pages.

If preferred, I can work out a map of all the current pages and their redirect targets, is there a preferred format?

[carkod]

Are you saying that current https://mir-server.io/doc is out of date?

[Saviq]

/doc/, not /docs/, but yes:

https://mir-server.io/doc/

[carkod]

These old pages, where should they redirect? e.g. /doc/getting_and_using_mir.html.
Should we create like a generic redirect (all pages to /tutorial) or do you have specific mapping for each?

[Saviq]

Hi @carkod, I can create a map, just let me know please, what format :)

[carkod]

Hi @carkod, I can create a map, just let me know please, what format :)

Pretty much this PR, the redirects.yaml file. Feel free to suggest code to commit.