From e1f775e4d840fdb84a46ccf775c4d1fcf116cf92 Mon Sep 17 00:00:00 2001 From: vkcku Date: Tue, 2 Jun 2026 08:46:02 +0530 Subject: infra: move hosting public monorepo to indra monorepo-revid: eeb604fe0639f6a087eb362ff22a2b948ea4cde6 --- root/scripts/sync-monorepo-public.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'root') 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