Move ViGet to its canonical Progmasoft domain. Update registry navigation, authentication redirects, allowed hosts, Google OAuth callback documentation, and catalog identity to viget.progmasoft.com. Publish distinct honest empty-state roots for Visual X# .vipkg packages and Kotlin DSL plugin JARs without inventing unavailable package endpoints. Add production Nginx routing for the new host, preserve path and query strings through permanent redirects from viget.xsharp-lang.xyz, retain both ACME renewal surfaces, and exclude reproducible local publish output.

1 files changed, 50 insertions, 3 deletions

diff --git a/ops/nginx/xsharp.conf b/ops/nginx/xsharp.conf
index 4fbf5b6..4216c68 100644
--- a/ops/nginx/xsharp.conf
+++ b/ops/nginx/xsharp.conf
@@ -31,16 +31,48 @@ server {
 }
 
 server {
+    listen 80;
+    listen [::]:80;
+    server_name viget.progmasoft.com;
+    server_tokens off;
+
+    location ^~ /.well-known/acme-challenge/ {
+        root /var/lib/letsencrypt;
+        default_type text/plain;
+    }
+
+    location / {
+        return 301 https://viget.progmasoft.com$request_uri;
+    }
+}
+
+server {
+    listen 80;
+    listen [::]:80;
+    server_name viget.xsharp-lang.xyz;
+    server_tokens off;
+
+    location ^~ /.well-known/acme-challenge/ {
+        root /var/lib/letsencrypt;
+        default_type text/plain;
+    }
+
+    location / {
+        return 308 https://viget.progmasoft.com$request_uri;
+    }
+}
+
+server {
     listen 443 ssl;
     listen [::]:443 ssl;
-    server_name viget.xsharp-lang.xyz;
+    server_name viget.progmasoft.com;
 
     root /srv/xsharp/website/current/frontend/repo;
     index index.html;
     server_tokens off;
 
-    ssl_certificate /etc/letsencrypt/live/xsharp-lang.xyz/fullchain.pem;
-    ssl_certificate_key /etc/letsencrypt/live/xsharp-lang.xyz/privkey.pem;
+    ssl_certificate /etc/letsencrypt/live/progmasoft.com/fullchain.pem;
+    ssl_certificate_key /etc/letsencrypt/live/progmasoft.com/privkey.pem;
     include /etc/letsencrypt/options-ssl-nginx.conf;
     ssl_dhparam /etc/letsencrypt/ssl-dhparams.pem;
 
@@ -96,6 +128,21 @@ server {
 server {
     listen 443 ssl;
     listen [::]:443 ssl;
+    server_name viget.xsharp-lang.xyz;
+    server_tokens off;
+
+    ssl_certificate /etc/letsencrypt/live/xsharp-lang.xyz/fullchain.pem;
+    ssl_certificate_key /etc/letsencrypt/live/xsharp-lang.xyz/privkey.pem;
+    include /etc/letsencrypt/options-ssl-nginx.conf;
+    ssl_dhparam /etc/letsencrypt/ssl-dhparams.pem;
+
+    add_header Strict-Transport-Security "max-age=31536000; includeSubDomains" always;
+    return 308 https://viget.progmasoft.com$request_uri;
+}
+
+server {
+    listen 443 ssl;
+    listen [::]:443 ssl;
     server_name www.xsharp-lang.xyz;
     server_tokens off;