GitLab

Since we no longer maintain this separate repo we just needed to do one
final copy from there. See
https://gitlab.com/gitlab-org/gitlab-ce/issues/50289