New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

migrate user name to display name #1180

Draft

joschahenningsen wants to merge 1 commit into dev from display-name

Sponsor Member

joschahenningsen commented Oct 2, 2023 •

edited

closes #1158


          migrate user name to display name

d1f11ab

github-actions bot commented Oct 2, 2023

Your Testserver will be ready at https://1180.test.live.mm.rbg.tum.de in a few minutes.

Logins

Kurs1	Kurs2	Kurs3	Kurs4
public	public	loggedin	enrolled
prof1	prof1	prof2	prof1 prof2
student1 student2 student3	student1 student2	student2 student3	student1 student2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment