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
> > >
Hi,
> > > 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 o
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 g
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/201
> On Tue, Jul 10, 2018 at 9:55 PM, Jonathon Jongsma < jjong...@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
On Tue, Jul 10, 2018 at 9:55 PM, Jonathon Jongsma
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
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/
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 s
