search_backend:
- wolkenstein.debian.org
search_frontend:
- - search-grnet-01.debian.org
+ - cgi-grnet-01.debian.org
sso:
- diabelli.debian.org
static_master:
- lindsay.debian.org
- philp.debian.org
- ravel.debian.org
- - senfl.debian.org
- wolkenstein.debian.org
syncproxy:
- milanollo.debian.org