Migrate from MySQL (or MariaDB) to Postgres

There’s a neat tool for macOS (maybe others too) to migrate a MySQL/MariaDB database to Postgres:

brew install pgloader

Here’s how I used it then:

createdb my_database_name
pgloader \
  mysql://root@localhost/my_database_name \
  postgresql://localhost/my_database_name

Very simple. It migrated a MariaDB 10.2 database to Postgres 12 without any issues.