[Spice-devel] Closing gitlab spice mirror
Jonathon Jongsma
jjongsma at redhat.com
Tue Jul 10 18:55:56 UTC 2018
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
More information about the Spice-devel
mailing list