- beach.debian.org
buildd_master:
- wuiet.debian.org
- buildd_ports_master:
- - portman.debian.org
contributors:
- nono.debian.org
dbmaster:
- draghi.debian.org
+ debtags:
+ - tate.debian.org
dns_primary:
- denis.debian.org
dns_geo:
- cgi-grnet-01.debian.org
git_master:
- adayevskaya.debian.org
+ httpredir:
+ - httpredir-bm-01.debian.org
+ - httpredir-csail-01.debian.org
jenkins:
- jerea.debian.org
keyring:
- jerea.debian.org
- nono.debian.org
- ticharich.debian.org
+ - tate.debian.org
static_master:
- dillon.debian.org
- franck.debian.org
# when adding a new static mirror, allow it to sync etc, but do not push to it and wait for it. For this, also add it to static_mirror_nopush.
static_mirror_nopush:
- dummy
- - mirror-anu.debian.org
static_source:
- master.debian.org
- dillon.debian.org
- wolkenstein.debian.org
syncproxy:
- milanollo.debian.org
+ - mirror-anu.debian.org
- mirror-isc.debian.org
+ - mirror-umn.debian.org
+ - klecker.debian.org
tracker:
- ticharich.debian.org
udd:
- wilder.debian.org
www_master:
- wolkenstein.debian.org
+ cgi.d.o:
+ - wolkenstein.debian.org
postgres_backup_server:
- backuphost.debian.org
- storace.debian.org
mirror_debug:
- klecker.debian.org
- mirror-isc.debian.org
+ planet_search:
+ - philp.debian.org