We will upgrade Gitlab to a new major version on Monday 2025-05-19, 6:00 AM UTC. We expect the service to be interrupted for less than 10 minutes. If you run into issues after the upgrade please let us know at atlas_admin@aei.mpg.de
"git@gitlab.aei.uni-hannover.de:finesse/pykat.git" did not exist on "09324172c7aa0c97487c41d34e4e0d0f74a20c69"
