New tarballs are not being pushed to already created repos
For example, after merging !11 (merged) , new tarballs are not being pushed to the repo at https://gitlab.gnome.org/Infrastructure/Mirrors/lorry-mirrors/gitlab_freedesktop_org/tar-files
(new repos are being created correctly though, see https://gitlab.gnome.org/Infrastructure/Mirrors/lorry-mirrors/0pointer_de for example)