Dev To Prod is a small tool to save time when going from development to production. It's simple and it uses SSH (via phpseclib 0.3.5, nothing to install). All PHP.