Andrea Veri commented: @jensgeorg, which gitlab bot are you referring to? the gitlab-bot irc one? If that's the one you're reporting an issue about, then it's not managed by the GNOME Infrastructure and I'd suggest reaching out to @3v1n0 :) -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/572#note_1092565 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
