Adrien Plazas commented on a discussion: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/148#note_815029 Actually the push was rejected because of a name ambiguity, it was solved by simply dropping some branches… the MR got merged and I can access the project's preferences, thanks @averi! :) -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/148#note_815029 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
