- Correct existing documentation so users don't try to ssh to things in .wmflabs (these can be done at any time, since the wikimedia.cloud domains already exist) -- mostly done
- Change dhcp to provide .wikimedia.cloud domains to new VMs https://gerrit.wikimedia.org/r/c/operations/puppet/+/620936
- Stop creating DNS entries for new VMs under .wmflabs https://gerrit.wikimedia.org/r/c/operations/puppet/+/620937
- clean up remaining references to wmflabs in puppet
Proposed timeline: Do all of the above on September 8, 2020.