I recently helped migrate a Hover DNS domain into Google Cloud Platform DNS. Hover does not provide any public API or supported export functionality. Google has no import function built into their cloud console and provides no assistance. In case anyone else is looking to do a similar migration, here are the steps I used to automate migrating all DNS records with no disruption to any services.