I'm writing to let you know the upcoming IP renumbering on our mirror
cluster. Grateful if you could have the new addresses added to the
allow list in order to have a smooth IP address change.
The new addresses are:
The following old addresses will be kept in use until everything is ready: