From 7a77f10797142f727282b6806e62758d3fa878f8 Mon Sep 17 00:00:00 2001
From: Patrick Verschuer <patrick.verschuer@deutsche-boerse.com>
Date: Fri, 27 Feb 2026 19:55:14 +0100
Subject: [PATCH] Don't copy internal server names to the repo

---
 copy_to_servers.ini | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/copy_to_servers.ini b/copy_to_servers.ini
index d35e5e0..5a7774c 100644
--- a/copy_to_servers.ini
+++ b/copy_to_servers.ini
@@ -1,3 +1,5 @@
 #Place all the target servers in this file, one per line
-#server1
-#server2
+vongdweb3
+#vongsweb3
+#vongsweb4
+#vongsweb5