Re: Gitlab Migration Progress

[Nikolaus Waxweiler]

Any decision yet on whether it should be gitlab.com or freedesktop.org? 
My interaction with the CMake-install-info-file issue on Savannah just 
now made me wish we had a forge.