> Any decision yet on whether it should be gitlab.com or > freedesktop.org?
Nope. We haven't yet contacted the freedesktop.org people. Do you
want to do that?
Additionally, I don't want to rush this so that more people can chime
in – it's still holiday season for many people here in Europe. If we
do a transition I want to do that in about four weeks – Anurag has
then time, too.
Werner
