User management, authentication and authorization, across multiple platforms.

This is a major milestone, covering the following cases:

component: database

• User object and related repository
• Session object for long-term authentication contexts and related repository

component: core

• Services for creating, updating and authenticating users and managing sessions
• Authorization at the message bus level
• Background task for cleaning stale sessions
• Background task for assigning users to groups via servers
• Startup task for changing usernames (necessary to prevent race conditions)
• Mailer for resetting passwords

component: console

• Create users
• Delete users
• Update users
  • Change password
  • Schedule username change
  • Change group memberships
  • Other field updates
• List users

component: rest api

• Logging in and out (i.e., creating and deleting sessions)
• Extending (= updating) sessions
• Registering (= creating)
• Deleting users
• Authentication via Authorization: GeikeToken header or GeikeToken cookie
• Resetting password
• Listing and managing users as an administrator
  • Change password
  • Schedule username change
  • Change group assignments
  • Other field updates

component: web

• Logging in and out
• Registering
• Changing/resetting password
• Changing e-mail address
• Changing username
• Deleting account
• Admin:
  • Listing users globally or per group
  • Updating user information
  • Deleting users
  • Adding or removing users from groups

component: discord int.

• Resetting password through DM command
• Linking Discord platform account to internal user (potentially newly created)