Migrate Seafile7+MySQL to Seafile9+MariaDB

I’m moving servers and the old cannot be upgraded, therefore I’m stuck on Seafile7 with MySQL. On the new server I have docker with Seafile9 and MariaDB. I’m reading the documentation and can’t seem to find an easy method to do a transfer between these because of either a different Seafile version or SQL database. Any suggestions are greatly appreciated.

the general advice is to migrate sequentially through each release b/c each one will have surprises for you that you don’t wanna miss!