ICSHWI-9584: Rename production server to ce-deploy (!63) · Merge requests · ics-ansible-galaxy / ics-ans-ccce · GitLab

The source project of this merge request has been removed.

Simon Rose requested to merge (removed):icshwi_9584_rename_server into master Oct 17, 2022

Following https://jira.esss.lu.se/browse/ICSHWI-9584, we have agreed to rename the deployment servers.