[Spice-devel] Closing gitlab spice mirror
Frediano Ziglio
fziglio at redhat.com
Wed Jul 11 08:08:43 UTC 2018
> On Tue, Jul 10, 2018 at 9:55 PM, Jonathon Jongsma < jjongsma at redhat.com >
> wrote:
> > 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)
>
> 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.
>
> > > 2.4) Keep the project for a few weeks a mirror from
>
> > > freedesktop.org
>
> After 2.4, or instead of it, perhaps push a patch to the old repo updating
> the README to say where the new repo is.
I agree to put a dummy README.
> > >
>
> > > 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.
>
> I just lurk here, but +1 from me too. Good luck with the transition!
Maybe also CC some list like qemu-devel ?
> (Please add 'NSIS' in subject lines to have a better chance to get my
> attention).
> Best regards,
> --
> Didi
Frediano
More information about the Spice-devel
mailing list