> On 9 Apr 2018, at 11:53, Victor Toso <victortoso@xxxxxxxxxx> wrote: > > On Mon, Apr 09, 2018 at 11:39:12AM +0200, Christophe de Dinechin wrote: >> >> >>> On 4 Apr 2018, at 15:44, Victor Toso <victortoso@xxxxxxxxxx> wrote: >>> >>> Hey, >>> >>> Considering [2], is there anyone with issue in me filing a bug to >>> migrate to freedesktop's instance of gitlab? >>> >>> [2] https://gitlab.freedesktop.org/freedesktop/freedesktop/wikis/home >> >> The start of this thread was about gitlab.com. What do we plan >> to do with the existing stuff there, then? > > Move it to freedesktop.org > >> Is there a way to fully sync two gitlab instances? > > Can't see much new stuff there? Should be easy to do it by hand > if necessary. > >> Quickly searching on the web, I only found ways to sync >> repositories, not issues. > > Just 11 issues open, for instance. > > https://gitlab.com/groups/spice/-/issues > > I can't see this as a blocker.. Agreed. But if we can’t sync automatically, maybe we should plan to shutdown the gitlab.com issue tracker? (the git repos can easily be sync’ed., so the more the merrier) Christophe > >> >> >> Christophe >> >>> >>> Cheers, >>> toso >>> >>> On Mon, Feb 19, 2018 at 04:15:07PM +0100, Victor Toso wrote: >>>> Hi, >>>> >>>> There was a thread in 2016 about moving to gitlab [0] which it >>>> was not complete done. New projects have been started in gitlab >>>> instead of freedesktop and without notice, some users are even >>>> filling bugs there already [1]. >>>> >>>> [0] https://lists.freedesktop.org/archives/spice-devel/2016-September/032456.html >>>> [1] https://gitlab.com/groups/spice/-/issues >>>> >>>> Some issues around this is 'how to do patch review' or 'are we >>>> going to accept PR'. IMHO, I would like to first move the code >>>> infrastructure there while keeping our current work flow with ML. >>>> >>>> I would like to suggest moving from bugzilla to gitlab issues >>>> too, in order to centralize code + issues but we don't need to do >>>> it right away. >>>> >>>> But I don't think the current state is okay, with code and bugs >>>> in freedesktop + gitlab. >>>> >>>> Please, I would love some feedback with this either way >>>> (okay/against it). If people don't want to move, we should make >>>> gitlab's instance a mirror (like github should be, but isn't) and >>>> use its gitlab-ci while disabling the issues/wiki, etc. and >>>> moving to freedesktop what was created in gitlab (spice-nsis, >>>> streaming-agent, maybe more). >>>> >>>> Note that I did some naming changes with the gitlab repo that was >>>> pointed out in [0]. I'm 100% okay in moving back to how it is set >>>> in freedesktop. >>>> >>>> Cheers, >>>> toso >>> >>> >>> >>>> _______________________________________________ >>>> Spice-devel mailing list >>>> Spice-devel@xxxxxxxxxxxxxxxxxxxxx >>>> https://lists.freedesktop.org/mailman/listinfo/spice-devel >>> >>> _______________________________________________ >>> Spice-devel mailing list >>> Spice-devel@xxxxxxxxxxxxxxxxxxxxx >>> https://lists.freedesktop.org/mailman/listinfo/spice-devel >> > _______________________________________________ > Spice-devel mailing list > Spice-devel@xxxxxxxxxxxxxxxxxxxxx > https://lists.freedesktop.org/mailman/listinfo/spice-devel _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel