On Tue, 2018-07-10 at 18:00 +0200, Victor Toso wrote: > 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/0438 > 84.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? No real suggestions, but I think it's a good idea. Jonathon _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel