Separate subject-specific packages and move packages into separate repos
In long term, I suggest to move each catkin package into a separate repository. Now, the problem is that packages such as robolab/robolab_bringup which everyone needs are in the same repository with e.g. robot_coordination which will differ for MKR (or what is taught now?) and ARO.
Then, we can either create subject-specific singularity images with a selection of packages, or students can have subject-specific packages directly inside their user catkin workspaces.
Packages/repositories common to all subjects could reside directly inside group/namespace https://gitlab.fel.cvut.cz/robolab/, subject-specific ones would be nice to put in a subject-specific group/namespaces, such as https://gitlab.fel.cvut.cz/robolab/mkr/ etc., or elsewhere completely if the subject already has a dedicated namespace or repository.
Has very low priority...