I’m currently experimenting with capistrano-wpcli. It looks to be a very convenient tool to manage db and media syncing. Also, thanks for the suggestion to check database files into the repository. This will probably be a good way to always have a backup at hand.