@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 :)
@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 :)