Jehan commented: Thanks! Now I do have the "Settings" button on Github. Seems I am a proper admin. I still don't have access on CircleCI, but that's not on your side. Maybe there is something I didn't understand yet to have this work again as it used to (I'll just contact CircleCI and ask). Let's roll with it for now. Thanks! ð -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/495#note_977589 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
