Hi, Similarly to closing github spice mirror [0], I'd like to propose closing the gitlab.com/spice one now that we have a gitlab instance in gitlab.freedesktop.org
[0] https://lists.freedesktop.org/archives/spice-devel/2018-June/043884.html The main reason is consistency... The steps would be something like: 1) From projects in gitlab.com that are mirrored from freedesktop.org (spice-gtk, spice, ...) 1.1) Move bugs reported in gitlab.com to freedesktop.org 1.2) Close repository and issues 2) From projects in gitlab.com that are not mirrored (virtio-gpu-wddm, qxl-wddm-dod, spice-space, spice-space-pages, x11spice, spice-streaming-agent, i-hope-i-did-not-miss-anything) 2.1) Clone repositories to freedesktop.org 2.2) Move bugs reported in gitlab.com to freedesktop.org 2.3) Close reporting new issues, merge-request, etc. 2.4) Keep the project for a few weeks a mirror from freedesktop.org I take that (2) should cc some key people before doing it... Any other suggestions? Cheers, toso
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/spice-devel
