I managed to create a minimal repository for the workshop, which I'm currently testing. It only weights 3.11GB.
I foresee difficulties among students when they want to build since the repository name and the tag will always be the same for the main branch. I'm only able to differentiate them by the CREATED field and SIZE.