New Issue was created. Issue 79: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/79 Author: Alexandre Franke Assignee:
I stumbled upon https://github.com/GNOME/gnome-media but the corresponding module on our infra is archived. Can we remove mirror repos at Github for archived modules? I don’t know if this is the only one. -- View it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/79 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
