From e1f775e4d840fdb84a46ccf775c4d1fcf116cf92 Mon Sep 17 00:00:00 2001
From: vkcku <git@mail.vkcku.com>
Date: Tue, 2 Jun 2026 08:46:02 +0530
Subject: infra: move hosting public monorepo to indra

monorepo-revid: eeb604fe0639f6a087eb362ff22a2b948ea4cde6
---
 infra/hosts/indra/modules.nix        | 11 ++++++++---
 root/scripts/sync-monorepo-public.py |  2 +-
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/infra/hosts/indra/modules.nix b/infra/hosts/indra/modules.nix
index 6f561f1..e047c17 100644
--- a/infra/hosts/indra/modules.nix
+++ b/infra/hosts/indra/modules.nix
@@ -6,13 +6,18 @@
       "base"
       "caddy"
       "deploy"
+      "gitserver"
       "vkcku.com"
       # keep-sorted end
     ];
 
-    infra.tailscale = {
-      authenticate = true;
-      ssh = true;
+    infra = {
+      gitserver.enablePublic = true;
+
+      tailscale = {
+        authenticate = true;
+        ssh = true;
+      };
     };
   };
 }
diff --git a/root/scripts/sync-monorepo-public.py b/root/scripts/sync-monorepo-public.py
index fe1592f..e5d11f3 100644
--- a/root/scripts/sync-monorepo-public.py
+++ b/root/scripts/sync-monorepo-public.py
@@ -8,7 +8,7 @@ import git_filter_repo
 
 TRAILER_KEY = b"monorepo-revid:"
 TRAILER_LINE_RE = re.compile(rb"^[A-Za-z0-9-]+:\s")
-REMOTE_URL = "ssh://git@plato/~/monorepo-public"
+REMOTE_URL = "ssh://git@indra/~/monorepo-public"
 
 
 def commit_callback(commit: git_filter_repo.Commit, metadata: object) -> None:
-- 
cgit v1.3.1