GitLab

We don't need it (for now?) and it's conflicting with the one we
do use

Change-Id: I1658be17e9629b2a388f50400925ddbb0d8420db