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
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/spice-devel
