On Fri, 2018-06-29 at 09:44 +0200, Laurent Carlier wrote: > You've forgotten the gitlab repo I have a (non-automatic) personal mirror on gitlab, but we've not properly moved yet. If you're interested in following that progress, see: https://gitlab.freedesktop.org/freedesktop/freedesktop/issues/40 - ajax