Skip to content
Snippets Groups Projects
Georges Racinet's avatar
Georges Racinet authored
Using `gitlab-mirror` would work, but this one has the advantage
of doing nothing else, hence not risking unrelated errors.
It also adds some sanity checks.
da05c318
History
Name Last commit Last update