2021
- 2021-03-15: Gitlab.com down
- Between 13:00h and 15:00h, gitlab.com was unavailable, which rendered SRC unable to create workspaces.
- 2021-04-28: Creation of new workspaces fails
- From ca. 9:45 on users cannot start new workspaces. Investigation pending.