Hostname migration: local.overhang.io -> local.edly.io & docs.tutor.overhang.io -> docs.tutor.edly.io

[regisb]

We are going to change two important domain names associated to Tutor:

1. The Tutor documentation will be moved to docs.tutor.edly.io.
   • Create DNS records
   • Move the documentation to docs.tutor.edly.io
   • Preserve existing links with a 301 (permanent) redirect
   • Replace all instances of docs.tutor.overhang.io in all plugins
2. When running Open edX locally, the hostnames will change from *.local.overhang.io to *.local.edly.io.
   • Create DNS records (local.edly.io and *.local.edly.io)
   • Replace all instances of *.local.overhang.io in all plugins in nightly
   • Rebase Quince branches on top of nightly

Item 1. should be fairly transparent for all users. Item 2. is non-backward compatible, so we are taking the opportunity of the Quince release to make that change.

Both changes should be as simple as a search-and-replace in all plugin repositories, and I'm OK to implement the changes myself. But I'm curious to hear from @overhangio/tutor-maintainers if there is any question whatsoever about this issue?

[kdmccormick]

Hey @regisb , we'd talked about the dev domain before and I said I'd set up a new domain before Quince, which I never did. Oops.

I'm interested in having something that we could use as a default in Open edX repos, so ideally that'd be something that doesn't mention Tutor or Edly. But I know the Quince release is coming up quickly. Give me 24 hours to come up with an alternative proposal, and if I don't have anything, then feel free to go ahead with local.edly.io.

[regisb]

After discussing with Kyle, it's unlikely that we'll have an answer from the legal theme on the potential use of the openedx.io domain before the Quince release. So if do get a positive answer after Quince, then we can switch to openedx.io for Redwood.