Binary package “mina” in ubuntu focal

deployer and server automation tool

 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.