[Spice-devel] gitlab

[Marc-André Lureau]

Hi

On Wed, Jun 22, 2016 at 5:31 PM, Christophe Fergeau <cfergeau at redhat.com> wrote:
> On Wed, Jun 22, 2016 at 11:05:11AM -0400, Marc-André Lureau wrote:
>> Hi
>>
>> ----- Original Message -----
>> > Hi all,
>> >
>> > I created a spice group in gitlab [0] mirroring the repository from
>> > freedesktop which should be updated every hour.
>> >
>> > [0] https://gitlab.com/groups/spice
>> >
>> > But I would like to discuss the transition to use gitlab for source code
>> > at some time soon. One of the main reasons is the management for users
>> > and repos being much easier with no need to file a bug and wait some
>> > fdo admin to have time to do it.
>>
>> I was wondering about the motivations. I never thought management of
>> users was a bottleneck. Even if takes a while for fdo admins to react
>> and it can be a bit frustrating, it's a one time thing. It doesn't
>> slow spice dev afaik, any counterexample?
>
> Well, it's a one time thing for each user you want to add. Then if you
> want to add a new repository, it also takes time, if you want to add
> server-side commit hooks, I expect it would also need admin
> intervention, ... Doing it once is fine, over time, I find this
> annoying.

Yes it's annoying, but minor imho since git is decentralized: not
really a big deal, you can host private repos in fdo or elsewhere in
the meantime (like we did for virglrenderer recently for ex).

> gitlab allows us to be much more reactive for all of this (did not check
> server-side hooks though), which imo is a very useful improvement.
> Do you think we are losing anything by moving our git from freedesktop
> to some place else?

I am just dubious about it. I never had to deal with gitlab for any
project, and that feels somehow strange (even the UI is somehow
strange). Furthemore, I really don't see much benefits doing the move
so far. But if it is painless, and doesn't changes much of our
practices except a git url, then why not if you think it's useful.

-- 
Marc-André Lureau