title: Migration from MariaDB to MySQL
body: <p>We need to move a db from MariaDB to MySQL db but are having trouble finding any documentation about this. Does anyone have any experience doing this?</p>
  
  <p>We currently have multiple dbs in MySQL and are trying to add a relatively small one from MariaDB which is why it has to happen like this rather than the other way around. </p>