In https://wikitech.wikimedia.org/wiki/Wikimedia_Cloud_Services_team/EnhancementProposals/DNS_domain_usage#Resolution we agreed on introducing the domain toolforge.org as the new general domain for Toolforge.
The path to introducing such domain contains several steps, first of all is probably how and when we will be introducing it. The most sensible option seems to be pairing the introduction of the new domain with the new kubernetes cluster. DNS will be managed via OpenStack Designate.
For the record, this is the current setup at whois level for wmflabs.org vs toolforge.org:
$ whois wmflabs.org | grep "Name Server" Name Server: CLOUD-NS0.WIKIMEDIA.ORG Name Server: CLOUD-NS1.WIKIMEDIA.ORG $ whois toolforge.org | grep "Name Server" Name Server: NS0.WIKIMEDIA.ORG Name Server: NS1.WIKIMEDIA.ORG Name Server: NS2.WIKIMEDIA.ORG