Planet is now sourced on philp

diff --git a/modules/roles/files/static-mirroring/static-components.conf b/modules/roles/files/static-mirroring/static-components.conf
index e07c5c606b653dad0ef8a7e9d660254249489a96..5aabdaf18740f4d8d0d408d1777b8fbec33ee177 100644 (file)
--- a/modules/roles/files/static-mirroring/static-components.conf
+++ b/modules/roles/files/static-mirroring/static-components.conf
@@ -2,7 +2,7 @@
 # <master> <service> <source host> <directory> <extra push hosts, comma separated>
 
 bizet.debian.org       mozilla.debian.net      wagner.debian.org       /srv/home/groups/pkg-mozilla/htdocs
-bizet.debian.org       planet.debian.org       senfl.debian.org        /srv/planet.debian.org/www
+bizet.debian.org       planet.debian.org       philp.debian.org        /srv/planet.debian.org/www
 bizet.debian.org       www.debian.org          wolkenstein.debian.org  /srv/www.debian.org/www
 bizet.debian.org       bits.debian.org         master.debian.org       /srv/bits-master.debian.org/htdocs
 bizet.debian.org       news.debian.net         ravel.debian.org        /srv/news.debian.net/htdocs