GitLab

Admin interface: Make name search case insensitive in postgres, make oauth id search also look for oauth id without school id

Do not allow login with empty group code or empty login code even if an corresponding entry exists in the database

Make admin interface select participations by session id instead of session token. This allows to show participations of users, that have logged out.

Replace some occurences of and_then() by map() as suggest by clippy lint clippy::bind-instead-of-map

Make sessions last 12 hours instead of 1.5, ignore 'permanent_login' as cookies are browsersession-based anyways