Overview
- Remove Home link.
Since it shouldn't refer to the O3as page but just to the top of our page,
it is not necessary anymore because our webapp is not long enough to jusitfy a Home link. - Add O3as link instead.
- Add Gitlab link.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar. Projekte sollen von den Nutzenden selbstständig migriert werden - siehe Docs - Migration.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.