Andrea Veri commented: Sure, I'm marking this issue as resolved for now, feel free to re-open if the proposed solution is not enough and / or the proposal to retire the GitHub mirror will have consensus.
-- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/86#note_436038 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
