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 /root/scripts | |
| parent | infra: allow storing private and public monorepo on separate servers (diff) | |
infra: move hosting public monorepo to indra
monorepo-revid: eeb604fe0639f6a087eb362ff22a2b948ea4cde6
Diffstat (limited to 'root/scripts')
| -rw-r--r-- | root/scripts/sync-monorepo-public.py | 2 |
1 files changed, 1 insertions, 1 deletions
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: |