Unfortunately, we lost some old, long unsused repositories recently. You can restore them by creating a new, empty repository in the project view and then pushing there using something like for x in $(git branch -r | grep -v HEAD); do git push origin $x:refs/heads/${x#*/}; done; git push --tags

The SSH username for accessing EduGit changed: Please update your remotes to use git@ instead of gitlab@.

Explore GitLab

Discover projects, groups and snippets. Share your projects with others


Below you will find all the groups that are public.

You can easily contribute to them by requesting to join these groups.