Hi, > > > 2.1) Clone repositories to freedesktop.org > > > 2.2) Move bugs reported in gitlab.com to freedesktop.org > > > 2.3) Close reporting new issues, merge-request, etc. > > > 2.4) Keep the project for a few weeks a mirror from > > > freedesktop.org > > After 2.4, or instead of it, perhaps push a patch to the old > repo updating the README to say where the new repo is.
Ah, yes, good idea. I'll spend some time checking where URLs might be wrong to fix them too. > > > I take that (2) should cc some key people before doing > > > it... Any other suggestions? > > > > No real suggestions, but I think it's a good idea. > > > > I just lurk here, but +1 from me too. Good luck with the transition! > > (Please add 'NSIS' in subject lines to have a better chance to > get my attention). Okay and many thanks :) Cheers, toso
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spiceemail@example.com https://lists.freedesktop.org/mailman/listinfo/spice-devel