diff options
Diffstat (limited to 'root')
| -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: |