You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be great to have the gitlab username in the database to simplify the infrastructure creation. Currently tutors need to manually add the students to different gitlab groups/projects if the username in gitlab is different from the TUMID (which is the case for 95% of our students)
The text was updated successfully, but these errors were encountered:
It would be great to have the gitlab username in the database to simplify the infrastructure creation. Currently tutors need to manually add the students to different gitlab groups/projects if the username in gitlab is different from the TUMID (which is the case for 95% of our students)
The text was updated successfully, but these errors were encountered: