Hi On Wed, Jun 22, 2016 at 5:31 PM, Christophe Fergeau <cfergeau@xxxxxxxxxx> 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 _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel