Shameless plug: Founder of <a href="https:&#x2F;&#x2F;commando.io" rel="nofollow">https:&#x2F;&#x2F;commando.io</a> here. Commando.io is a web based ssh interface to multiplex commands to servers, great for deployments. You can  trigger commands via our web interface, API, GitHub integration (git push... run commands on severs), and even IOS mobile app.<p>Hopefully useful for others reading this thread.