This project is mirrored from https://:*****@git.idiv.de/sc/edu/git-seminar.git. Pull mirroring failed 5 years ago.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update 5 years ago. This branch has diverged from upstream.