.gitlab-ci.yml: manual review servers

!632 (merged) is great, but we need to ensure that this would not bring too much pressure on a production server. See also #3397