Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
fixes #37 (closed) fixes #21 (closed)