[Spice-devel] Gitlab - 2018!

Christophe de Dinechin cdupontd at redhat.com
Mon Apr 9 12:08:46 UTC 2018



> On 9 Apr 2018, at 11:53, Victor Toso <victortoso at redhat.com> 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 at redhat.com> 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 at lists.freedesktop.org
>>>> https://lists.freedesktop.org/mailman/listinfo/spice-devel
>>> 
>>> _______________________________________________
>>> Spice-devel mailing list
>>> Spice-devel at lists.freedesktop.org
>>> https://lists.freedesktop.org/mailman/listinfo/spice-devel
>> 
> _______________________________________________
> Spice-devel mailing list
> Spice-devel at lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/spice-devel



More information about the Spice-devel mailing list