Use milestones to track issues and merge requests over a fixed period of time
Organize issues and merge requests into a cohesive group, and set optional start and due dates. Learn more.
Gitlab has been successfully migrated to the new cluster and operating system.
If you encounter issues with your pipelines or projects, please open a ticket with support@inf.ethz.ch
Organize issues and merge requests into a cohesive group, and set optional start and due dates. Learn more.