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.