Gitlab experiment status

[Henri Verbeet]

I haven't commented on the move to GitLab so far because both
Alexandre and Jeremy were already well aware of my views long before
this move was announced; I wouldn't expect my comments here to change
the end result one way or another. Just for the (public) record
though, I'd like to explicitly state my support for both Zeb and
Gabriel; I think moving to GitLab is the wrong call.