> 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? Is there a way to fully sync two gitlab instances? Quickly searching on the web, I only found ways to sync repositories, not issues. 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