1# Push mirror
2
3Ermite can push its repositories to a remote Git host over SSH (GitHub, another forge…), to keep a read-only copy there. The push never forces and never deletes anything on the remote.
4
5## Set up
6
71. The server needs `ERMITE_SECRETS_KEY`; it seals the mirror SSH key. Without it, syncs fail and nothing is stored.
82. Add the server's public mirror key to the remote account or repository, as a key allowed to push:
9
10   ```sh
11   ermite mirror key show | gh ssh-key add - --title "ermite mirror"
12   ```
13
14   `mirror key show` prints only the `authorized_keys` line. One key serves every mirror.
153. Set the global policy (owner only). The URL template holds `{repo}`, replaced by the repository name; the cron is five fields, in UTC:
16
17   ```sh
18   ermite mirror config --url 'git@github.com:acme/{repo}.git' --cron '*/15 * * * *' --enabled
19   ermite mirror config show
20   ```
21
22   `config` changes only the flags you pass. `--all-branches` mirrors every branch instead of the default branch.
234. Adjust single repositories:
24
25   ```sh
26   ermite mirror add <repo> <url> [--cron …] [--all-branches]   # own URL (and schedule), even when the global policy is off
27   ermite mirror exclude <repo>                                  # leave the global policy
28   ermite mirror include <repo>                                  # back under it
29   ermite mirror remove <repo>                                   # drop the override
30   ```
31
32   Without `--cron` or `--all-branches`, `add` inherits the global values.
33
34URLs are `git@host:path` or `ssh://[user@]host[:port]/path`, with no password. The cron may not fire more often than every 5 minutes.
35
36## What is pushed
37
38- The default branch and all tags; every branch with `--all-branches`.
39- Never a force push, never a deletion: a branch or tag deleted here stays on the remote.
40- The push is atomic: if the remote refuses **any** ref, nothing is updated and the mirror is **paused** as diverged. Besides a branch the remote has moved ahead, this happens when a tag was moved or rewritten here (an existing remote tag is never overwritten), and for any other ref the remote rejects.
41- To fix a diverged branch, fast-forward ermite with the remote's commits (push them here). To fix a tag, restore it here to the commit the remote has, or delete that tag on the remote yourself (ermite never deletes anything there). Then run `ermite mirror sync <repo> --force`.
42
43## When it syncs
44
45- On the cron schedule. A push to ermite only marks the repository as changed; the next due cron tick syncs it. A tick with nothing new does nothing.
46- `ermite mirror sync <repo>` or `ermite mirror sync --all` (owner only) syncs now; a repository needs admin rights. `--all` skips repositories without a mirror, continues past failures, prints one row per repository and exits with status 1 if any failed.
47- `--force` skips the no-op check and the 60 s throttle and lifts a pause. It never force-pushes.
48- Overlapping syncs of a repository coalesce; only one push runs at a time per repository.
49
50## Limits against spam
51
52| Rule | Value |
53|---|---|
54| No-op | nothing changed since the last successful push: no connection |
55| Manual sync | one per repository per 60 s, unless `--force` |
56| Cron | at least 5 minutes between firings |
57| Backoff after a transient failure | 5 min, doubling, up to 6 h |
58| Paused | after 5 consecutive transient failures |
59| Paused at once | diverged remote, key refused, remote not found, host key changed |
60
61A paused mirror is not retried by the schedule. Changing the mirror configuration of a repository clears its failures.
62
63## See what happens
64
65- `ermite mirror status [<repo>] [--json]`: state (`ok`, `failing`, `paused`, `disabled`), reason, last success, next run, failures.
66- A `git push` to a repository whose mirror is failing or paused prints a `remote:` warning, **only to people with admin rights on the repository**: it names the remote and the reason, which other pushers do not see. The same holds for the URL and the reason in `mirror status` and the web badge.
67- The repository page shows a badge to owners and admins.
68- `ermite watch` receives `mirror.failed` once when a mirror starts failing, and `mirror.recovered` when it succeeds again. See [events](ci-events.md#mirror-events).
69
70## Security
71
72- The private key is sealed at rest with `ERMITE_SECRETS_KEY`. It is never printed and never in logs; URLs are logged without credentials or user.
73- Host keys are trusted on first use (TOFU), kept in `<data dir>/mirror_known_hosts`. The first connection to a host accepts whatever key it presents, so to be sure of it, pre-seed the file before configuring the mirror and compare with what the host publishes:
74
75  ```sh
76  ssh-keyscan -t ed25519,rsa,ecdsa github.com | tee -a <data dir>/mirror_known_hosts
77  ssh-keygen -lf <data dir>/mirror_known_hosts   # compare with https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/githubs-ssh-key-fingerprints
78  ```
79
80  Remove any line whose fingerprint does not match. If a remote's key changes, the mirror is paused (`host_key`). After checking the change is legitimate, remove that host's line from the file and run `ermite mirror sync <repo> --force`.
81- `ermite mirror key rotate` (owner only) makes a new key at once and prints the fingerprint of the replaced one on stderr. Every mirror fails until the new key is added to the remotes.
82- The scheduler runs in the server process: run a single ermite instance per data directory.