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

Vereinsverwaltung

Name
Last commit
Last update
briefe Loading commit data...
docs Loading commit data...
finance Loading commit data...
intern Loading commit data...
jahresbericht Loading commit data...
kb Loading commit data...
presis Loading commit data...
print Loading commit data...
projects Loading commit data...
protokolle Loading commit data...
public/material Loading commit data...
sysadmin/scripts Loading commit data...
templates Loading commit data...
topics Loading commit data...
util Loading commit data...
www Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
.pdflatex Loading commit data...
.pdflatex_twice Loading commit data...
GNUmakefile Loading commit data...
Makefile Loading commit data...
TODO Loading commit data...
gnu.mk Loading commit data...