Aus aktuellem Anlass: Durch die Mailserver-Umstellung und ggf. noch alte hinterlegte Mailadressen, kann es sein das die Gitlab-Benachrichtigungen nicht bzw. an die falsche Adresse zugestellt werden. Der schnellste Weg zur Prüfung ist der via https://gitlab.educs-hosting.net/-/profile/emails. Dort ist direkt zu sehen, ob noch Benachrichtigungsoptionen für den alten Mail Alias (mustermann@dipf.de statt k.mustermann@dipf.de) eingestellt sind.