Vetrix Docs

Mirrors

Mirrors keep a repository synchronised with a remote repository somewhere else. A pull mirror copies code from a remote repository into this one on a schedule, and a push mirror replicates every push from this repository out to a remote. The mirrors page lists the pull and push mirrors configured for the repository, lets you add and remove them, sync one on demand, and read each mirror's sync history. Credentials you enter are stored encrypted and are never displayed again after saving.

Where to find it

  • URL: gitvetrix.com/<owner>/<repo>/settings/mirrors
  • Navigation: open a repository, go to Settings, and in the settings sidebar select Mirrors.

The page has two sections, Pull Mirrors and Push Mirrors, each with its own list and its own Add button.

Read the mirror lists

Each mirror appears as a row showing:

  • The remote URL.
  • An enabled or disabled badge.
  • The time of the last sync, or never synced if it has not run yet.
  • The last error, if the most recent sync failed. Hover the error to read the full text.

A pull mirror row also shows its sync interval. A push mirror row also shows an auto-sync badge when it syncs on every push, or a manual badge when it does not.

When a section has no mirrors, it shows No pull mirrors or No push mirrors.

Add a pull mirror

  1. In the Pull Mirrors section, select Add.
  2. In Remote URL, enter the address of the repository to copy from. The URL must start with https://, http://, git://, or ssh://.
  3. In Credential (password / token), enter a password or access token if the remote is private. Leave it blank for a public repository. The credential is stored encrypted and is never shown after saving.
  4. In Sync interval, choose how often the mirror runs: Every 15 minutes, Every hour, Every 6 hours, Every 24 hours, or Manual only.
  5. Select Add pull mirror. The new mirror appears in the list.

Select Cancel to close the form without adding a mirror.

Add a push mirror

  1. In the Push Mirrors section, select Add.
  2. In Remote URL, enter the address of the repository to replicate to. The same URL schemes apply as for a pull mirror.
  3. In Credential (password / token), enter a password or access token if the remote is private. Leave it blank for a public repository.
  4. Leave Sync on push selected to mirror every push automatically, or clear it to sync only when you trigger a sync yourself.
  5. Select Add push mirror. The new mirror appears in the list.

Sync a mirror now

  1. Find the mirror in its list.
  2. Select its Sync now control (the refresh icon at the end of the row). A message confirms the sync was triggered, and the row updates with the new sync time.

Read a mirror's sync log

  1. Find the mirror in its list.
  2. Select its View sync log control (the log icon). A Sync log window opens, listing the most recent sync attempts.
  3. Each entry shows Success. or Failed. with its timing, and a failed entry shows the error message. A mirror that has never synced shows No sync log entries yet.
  4. Select Close to dismiss the window.

Delete a mirror

  1. Find the mirror in its list.
  2. Select its Delete mirror control (the trash icon).
  3. Confirm in the dialog. Deleting a pull mirror leaves any content it already synced in place; deleting a push mirror stops future pushes from being replicated to that remote.
  • Rate limits — set per-repository request budgets for this repository.
  • Repository home — the repository landing page and its clone URLs.