chore: update domain name

.github/workflows/github-pages.yml

@@ -63,4 +63,4 @@ jobs:
   #   needs: deploy
   #   steps:
   #     - name: ping Google about sitemap
-  #       run: curl "https://www.google.com/ping?sitemap=https://docs.distantmagic.com/sitemap.xml"
+  #       run: curl "https://www.google.com/ping?sitemap=https://resonance.distantmagic.com/sitemap.xml"

config.ini.example

@@ -36,7 +36,7 @@ cookie_name = dmsession
 redis_connection_pool = default
 
 [static]
-base_url = https://docs.distantmagic.com
+base_url = https://resonance.distantmagic.com
 esbuild_metafile = esbuild-meta-docs.json
 input_directory = docs
 output_directory = docs/build

docs/CNAME

-docs.distantmagic.com
+resonance.distantmagic.com

docs/pages/docs/features/configuration/index.md

@@ -94,7 +94,7 @@ default[pool_prefill] = true
 default[pool_size] = 8
 
 [static]
-base_url = https://docs.distantmagic.com
+base_url = https://resonance.distantmagic.com
 esbuild_metafile = esbuild-meta-docs.json
 input_directory = docs
 output_directory = docs/build