Manage usernames
Given that gitedu.hesge.ch does not provide access to student emails anymore I propose that the REPO_FILE allow for the possibility to use usernames instead of emails. Currently the email search falls back on searching usernames with a discussable heuristic but habing a username option would avoid searching for those when already known.
Note: this is currently possible using username@hesge.ch in an email but somehow confusing.