Could someone help me. I have read all of the documentation and something is still unclear to me on the workflow.

Originally I ran dump.php for development, production, and last-merge and deployed production, then copied just the files to production and ran: restore.php production min. everything works great...

On Development I run
dump.php and frequently commit to git

On production I run dump.php production min and commit to git

When I want to merge, what do I do?
pull the production files from the production server to development server?
Then merge.php (on development server)? Then, what?

Most of the workflow is documented, but the exact details of merging is missing some of these details.