> On 4 Apr 2018, at 15:44, Victor Toso <victort...@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? 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@lists.freedesktop.org
>> https://lists.freedesktop.org/mailman/listinfo/spice-devel
> 
> _______________________________________________
> Spice-devel mailing list
> Spice-devel@lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/spice-devel

_______________________________________________
Spice-devel mailing list
Spice-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/spice-devel

Reply via email to