- 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