On Sat, Oct 10, 2020 at 10:38 AM Staf Verhaegen <staf at fibraservi.eu> wrote: > Thing is I don't see how to do this in the mirroring setup of > gitlab.com where I host the repo. urrr deep joy, > This means I would need to setup cron job or something like that > fetches and pushes on a regular time which I wanted to avoid. ok i'll do it. l.