Clone repos
Basic functionality that clones the repositories that were retrieved by https://seart-ghs.si.usi.ch/
Works for all but 1 repository.
GitLab server has moved to 131.211.32.161 (from 131.211.32.228), please update firewall or runner if needed
Basic functionality that clones the repositories that were retrieved by https://seart-ghs.si.usi.ch/
Works for all but 1 repository.