Email notifications didn't work over last few days. Pending old emails from codehub.hlrs.de are now (2025-06-17) sent, but they might be outdated, don't be confused.
