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
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel