[Spice-devel] Closing gitlab spice mirror

[Yedidyah Bar David]

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

(Please add 'NSIS' in subject lines to have a better chance to get my
attention).

Best regards,
-- 
Didi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/spice-devel/attachments/20180711/2d4acc93/attachment.html>