Question: how to tag someone in gitlab?
Answer: Login to your group repository, go to "Commits". Go to "Tags". Click "New tag". Select a name using format Ex<Exercise number>_submission<Submission count> For example: Ex2_submission3. Select which branch to tag. You probably want "master". Press "Create tag" to confirm.