If you can do it using a database tool yourself, be my guest. We don't currently offer that feature, but it is currently under development.
not sure if dumping and restoring will mess things up...manually ported instead. Consider this a feature request
Is this still the case or has that feature been completed? We would like a way to migrate from Postgres to MySQL version 22.214.171.124