Use IPs from Hcloud
Now that we manage DNS via Terraform and Hetzner DNS API, it makes sense to use the data provider from hcloud to get the server IPs.
Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to accountsupport@archlinux.org, with your desired username, if you want to get access. Sorry for the inconvenience.
Now that we manage DNS via Terraform and Hetzner DNS API, it makes sense to use the data provider from hcloud to get the server IPs.