The final version of the second stage of GitLab pipeline (build and deploy servers are distinct, use of ssh, only shell executor) Re #7748
The final version of the second stage of GitLab pipeline (build and deploy servers are distinct, use of ssh, only shell executor) Re #7748