[Spice-devel] Closing gitlab spice mirror

[Victor Toso]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://lists.freedesktop.org/archives/spice-devel/attachments/20180710/a834d848/attachment.sig>