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. 06 Jan, 2019 4 commits
  2. 04 Jan, 2019 1 commit
  3. 03 Jan, 2019 3 commits
  4. 23 Sep, 2018 1 commit
  5. 18 Sep, 2018 1 commit
  6. 17 Sep, 2018 2 commits
  7. 16 Sep, 2018 2 commits
  8. 27 Aug, 2018 1 commit
    • Tom Teichler's avatar
      Add aldryn_bootstrap3. · 88eb2bcf
      Tom Teichler authored
      Alter ich hab jetzt ne halbe Stunde nach dem Fehler gesucht und dann ist mir aufgefallen dass das nichtmal installiert ist…
      88eb2bcf
  9. 25 Aug, 2018 1 commit
  10. 10 Aug, 2018 7 commits
  11. 09 Aug, 2018 12 commits
  12. 08 Aug, 2018 5 commits