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@.

  1. 29 Jul, 2019 3 commits
  2. 05 Jul, 2019 1 commit
  3. 06 Jun, 2019 1 commit
  4. 18 May, 2019 19 commits
  5. 15 May, 2019 16 commits