3 ms·

You're welcome. GitLab is indeed used at lots of universities.