[Spice-devel] Closing gitlab spice mirror

[Christophe Fergeau]

On Wed, Jul 11, 2018 at 12:21:07PM +0200, Victor Toso wrote:
> 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 [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?
> 
> 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.

No strong opinion here, I don't mind keeping the mirror, or closing it
;) Note that on gitlab, the mirrored repo description says
"Mirrored from https://gitlab.freedesktop.org/spice/spice-gtk.git."

Christophe
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://lists.freedesktop.org/archives/spice-devel/attachments/20180711/964adacc/attachment.sig>