Hi, On Wed, Jul 11, 2018 at 11:00:26AM +0200, Christophe Fergeau wrote: > On Tue, Jul 10, 2018 at 06:00:29PM +0200, Victor Toso wrote: > > Hi, > > > > Similarly to closing github spice mirror , I'd like to propose > > closing the gitlab.com/spice one now that we have a gitlab > > instance in gitlab.freedesktop.org > > > >  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?
I think the confusion of having gitlab.com/spice outweighs the benefit of having a repository mirror, but I don't mind much. We can let it be mirrored for some time and see. > > 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 The reason I did not include spice-nsis is because we have it in gitlab.freedesktop.org  but unless I missed something, none of them are mirrored (I just notice that)  https://gitlab.freedesktop.org/spice/spice-nsis > > 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) Agree > > 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. Okay, so I'll execute (1) keeping them mirrored and CC people about (2) in a couple of hours. Thanks! toso
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spiceemail@example.com https://lists.freedesktop.org/mailman/listinfo/spice-devel