> > Any decision yet on whether it should be gitlab.com or > > freedesktop.org? > > Nope. We haven't yet contacted the freedesktop.org people.
This could be an opportunity to collect all pieces together because the web page is already hosted on cgit.freedesktop.org. I have no idea if features are sufficient or what we would miss from the proprietary tools.