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