This is an old revision of the document!
The following is the process for deploying a new build server.
cd && git clone https://gitlab.cucumberlinux.com/cucumber/buildtools.git && cd buildtools && make install-build-server VERSION=x.y./opt/buildtools/config file and set the STAGING_SERVER variable to the appropriate value.