[Freeipa-devel] Choosing DNS name for FreeIPA PR-CI, proposing ci.freeipa.org