mina - 0.3.7-1.1 main

Mina is a fast deploy Bash script generator. It generates an entire
deployment procedure as a Bash script and runs it remotely on a server,
creating a single SSH session per deploy, minimizing the SSH connection
overhead. Its syntax is similar to Capistrano.