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. 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? Christophe
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel