On Tue, Jul 10, 2018 at 06:00:29PM +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/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

I've disabled issue reporting and PRs on gitlab.com a few weeks ago I
think. Having a read-only mirror does not hurt in case
gitlab.freedesktop.org goes down?

> 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)

spice-nsis is missing

>   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.

Regardless of what is done for 1), we should do 2)

>   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?

Yeah, a few cc's would be nice.


Attachment: signature.asc
Description: PGP signature

Spice-devel mailing list

Reply via email to