PHP MySQL migration tool

I have a migration tool that I'm supposed to use, but the old programmer never left any documentation on how to use it and we are unable to contact him.

This is the tool here: https://github.com/davesloan/mysql-php-migrations

I have a MySQL database set up with Joomla for both locally and on the server. What I need to do is migrate the new MySQL local files to the server(We are using github for pushing and pulling.)

Anyone know how I can do so with this tool? I fiddled with the command line a bit but never got any results.

Thank you.