Set debian mirror for grnet

diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml
index ba602d908fefa5a383455fbafd371b660b847916..5d0f8e6c8107ce716089bf8f718b55b6b29d8333 100644 (file)
--- a/modules/debian-org/misc/hoster.yaml
+++ b/modules/debian-org/misc/hoster.yaml
@@ -92,6 +92,7 @@ grnet:
     - 2001:648:2ffc:deb::/64
   searchpaths: [debprivate-grnet.debian.org]
   nameservers: [194.177.210.10, 194.177.210.210]
+  mirror-debian: http://ftp.gr.debian.org/debian/
 helsinki:
   netrange:
     - 193.167.160.0/23