http://mirageos.org redirects to mirage.io but https://mirageos.org does not

[kit-ty-kate]

Not sure if it’s intended.

[TheLortex]

Not really, but it's expected. The website doesn't look at which hostname is used. The redirection happens unconditionally when a request is made on port 80. We could add a permanent redirection from mirageos.org to mirage.io by looking at the request's host field.

[avsm]

Sounds like we should do the opposite :-) Redirect mirageos.io to mirageos.org, following the discussion in #850; thanks @gm0stache