In order to mitigate against the brute force attacks against Gitlab accounts, we are moving to all edu-ID Logins. We would like to remind you to link your account with your edu-id. Login will be possible only by edu-ID after November 30, 2021. Here you can find the instructions for linking your account.

If you don't have a SWITCH edu-ID, you can create one with this guide here

kind regards

This Server has been upgraded to GitLab release 14.2.6

Compare Git revisions

Choose a branch/tag (e.g. master ) or enter a commit (e.g. 4eedf23 ) to see what's changed or to create a merge request.
Changes are shown as if the source revision was being merged into the target revision.