GitLab

At this point it's unclear whether there's a problem to solve
(https://redmine.tails.boum.org/code/issues/16299#note-20)
and if there's one, whether this is the best way to solve it
(https://redmine.tails.boum.org/code/issues/16299#note-19).

This reverts commit a2bb3bf0.