diff options
| author | vkcku <[email protected]> | 2026-06-02 08:46:02 +0530 |
|---|---|---|
| committer | vkcku <[email protected]> | 2026-06-02 08:46:02 +0530 |
| commit | e1f775e4d840fdb84a46ccf775c4d1fcf116cf92 (patch) | |
| tree | 2f2341a32c001ee25179cb4601dade0215066db3 | |
| parent | infra: allow storing private and public monorepo on separate servers (diff) | |
infra: move hosting public monorepo to indra
monorepo-revid: eeb604fe0639f6a087eb362ff22a2b948ea4cde6
| -rw-r--r-- | infra/hosts/indra/modules.nix | 11 | ||||
| -rw-r--r-- | 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: |