February 2023 and with it the next round of user cleanup is just around the corner! The gitlab.ethz.ch users without an equivalent ETH LDAP-user will be deleted. Together with the users are deleted: the users own repositories and the groups where these users are the only owner.
To avoid losing data, please ensure that the groups you use have at least one owner with a valid ETH LDAP-account. If you don't know what that means, ask yourself this question: "is the owner of the group still working at ETH?". If the answer is "No" and you want to keep using that group, you need to set a valid owner.
If you need help, please open a ticket with the ID service-desk. We'll do our best to help you.
Introducing new abstract type to distinguish between different types of agents : continuous, discrete or mixed.