Mina: Really fast deployer and server automation tool

I haven't used Mina before, but by looking at its Github issues and pull requests, it seems like the project is not well maintained or supported. I would probably stick with using something else like Capistrano or Ansible.